| Numéro | Date Cours | Contenu |
|---|---|---|
| 1 | Chapitre 0 : Introduction, rappels OCaml | |
| 2 | Chapitre 1 : Le système de modules : structures, signatures | |
| 3 | Fin du chapitre 1. | |
| 4 | Chapitre 2 : Structures fonctionnelles efficaces: Les Zippers | |
| 5 | Chapitre 3 : Structures fonctionnelles efficaces: files et arbres red-black, analyse de coût amorti | |
| 6 | Chapitre 4 : Évaluation paresseuse | |
| 7 | Chapitre 5 : Structures fonctionnelles efficaces : la paresse maîtrisée | |
| 8 | Chapitre 6 : Structures partagées : le hashconsing | |
| 9 | Chapitre 7 : Inférence de types, polymorphie et traits impératifs. | |
| 10 | Chapitre 8 : Usages avancés du système de type : variants polymorphes et sous-typage. | |
| 11 | Chapitre 9 : Usages avancés du système de type : types phantomes et GADTs | |
| 12 | Chapitre 10 : Introduction aux monades |