Notes de l'ancien cours de Typage de M2 (jusqu'à sept. 2016)
Les transparents du cours introductif.
Les notes du cours de X. Leroy.
Le dépôt git du mini-pascal (pour le premier TP).
Le dépôt git du mini-caml (pour le projet).