Teaching

MPRI (2008 - 2023)

• Type systems (2010 - 2023)
• Modularité (2008 - 2010)

École Polytechnique (1993 - 2006)

• Systèmes d'expoitation et Programmation Système
  
• Ocaml,
• Modularité, Objets et Types,
• Compilation,

D.E.A. d'Informatique Fondamentale (1993 - 1997)

• Typage et programmation

ISIA

• Ocaml, principes et pratique.

Summer school

• APPSEM'2000: Using, Understanding, and Unravelling the Ocaml Language.