Click on the course's title for a detailed description

• Theory of subtyping.
  Master Course "Functional Programming and type systems"
  (Other teachers of the course: Xavier Leroy , François Pottier , Yann Régis-Gianas , andDidier Rémy .
  Master Parisien de Recherche en Informatique (MPRI)
• Advanced Programming.
  Computer Science graduate Course
  École Normale Supérieure de Cachan