J'assure également une partie du cours Calcul des Constructions Inductives du Master Parisien de Recherche en Informatique (MPRI). Voir mes notes de cours.
J'ai écrit un polycopié d'Initiation à la programmation fonctionnelle
TP d'Informatique en Caml (classes préparatoires option info)