Teaching
Notes de cours
Pages related to courses that I have given.
Programming Languages
- Principes des langages de programmation (ENSTA, in French)
- Programmation fonctionnelle (ISIA, in French)
- Type Systems (New York University, 2000)
- Honors Programming Languages (New York University, 2000)
- Programming Languages (New York University, 2000)
- Java (Pôle Universitaire Léonard de Vinci, 1999, in French)
Operating Systems
Algorithms and Data Structures
- Algorithmique (ENSTA, in French)