Cliquer sur le titre du cours pour acceder au contenu

• Théorie du sous-typage.
  Cours Master 2 "Programmation fonctionnelle et systèmes de types"
  (En collaboration avec Xavier Leroy , François Pottier , Yann Régis-Gianas et Didier Rémy .
  Master Parisien de Recherche en Informatique (MPRI)
• Programmation Avancée.
  Cours de Licence d'Informatique
  École Normale Supérieure de Cachan

Aucune pour l'instant