Travelled to:1 × Austria
Collaborated with:N.Tabareau ∅ A.Saurin
Talks about:function (2) substitut (1) interpret (1) triangl (1) classic (1) theori (1) option (1) failur (1) except (1) elimin (1)
Person: Pierre-Marie Pédrot
DBLP: P=eacute=drot:Pierre=Marie
Contributed to:
2014
20162018
2020Wrote 4 papers:
- LICS-CSL-2014-Pedrot #functional
- A functional functional interpretation (PMP), p. 10.
- ESOP-2016-PedrotS
- Classical By-Need (PMP, AS), pp. 616–643.
- ESOP-2018-PedrotT #type system
- Failure is Not an Option - An Exceptional Type Theory (PMP, NT), pp. 245–271.
- POPL-2020-PedrotT #how
- The fire triangle: how to mix substitution, dependent elimination, and effects (PMP, NT), p. 28.