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

• Unix (AFTI/ETGL, in French)

Algorithms and Data Structures

• Algorithmique (ENSTA, in French)