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
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
- 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
|