Rodolphe Lepigre

PHD student - LAMA, Université de Savoie

About me

I am a PHD student at the LAMA (LAboratoire de MAthématiques, Université Savoie Mont Blanc, France), in the LIMD team. My advisors are Christophe Raffalli and Pierre Hyvernat.


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

Contact information