Enseignement
Notes de cours
Les pages relatives à quelques cours que j'ai dispensés.
Langages de programmation
- Principes des langages de programmation (ENSTA)
- Programmation fonctionnelle (ISIA)
- Type Systems (New York University, 2000, en anglais)
- Honors Programming Languages (New York University, 2000, en anglais)
- Programming Languages (New York University, 2000, en anglais)
- Java (Pôle Universitaire Léonard de Vinci, 1999)
Systèmes d'exploitation
Structures de données et algorithmes