Rodolphe Lepigre (rodolphe.lepigre@inria.fr)
Postdoc - Inria (Deducteam), LSV, CNRS, Université Paris-Saclay
About me
I was a PHD student at the LAMA (LAboratoire de MAthématiques, Université Savoie Mont Blanc, France), in the LIMD team. My advisors were Christophe Raffalli and Pierre Hyvernat.
I am now a postdoc at Inria (Deducteam).
Research
My research interests include:
- Type theory
- Classical realizability
- Logic
- Abstract machines
- Compilers
- Functional programming
The page of my PhD thesis
Documents, slides and tools:
-
Subtyping-Based Type-Checking for System F with Induction and
coinduction
(PDF draft).
With Christophe Raffalli, 2016. -
A Classical Realizability Model for a Semantical Value Restriction
(PDF draft).
To appear in Volume 9632 of the Lecture Notes in Computer Science series.
To be presented at the European Symposium on Programming (ESOP) 2016. -
Mêler combinateurs, continuations et EBNF pour une analyse syntaxique
efficace en OCaml
(PDF)
Avec Christophe Raffalli, 2014. - DeCaP, a parser combinator library and syntax extension mecanism for OCaml written with Christophe Raffalli during the summer 2014.
- Realizability, Testing and Game Semantics, a talk I gave at GaLoP 2014 (slides, draft)
- Patoline, a modern digital typesetting system
Contact information
- E-mail: rodolphe.lepigre@inria.fr
- Office: Bureau RH-B-107, LSV, CNRS & ENS de Cachan, 61, avenue du Président Wilson, 94235 CACHAN Cedex, France
Last update 04/11/2017.
