Teaching
MPRI (since 2008)
Type systems (since 2010)
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
.