===== Typage (Master 2) =====

** Notes de l'ancien cours de Typage de M2 (jusqu'à sept. 2016)**

Les transparents du [[http://www.irif.fr/~letouzey/typage/cours1.pdf|cours introductif]].

Les [[http://gallium.inria.fr/~xleroy/dea/typage|notes du cours de X. Leroy]].

Le [[http://moule.informatique.univ-paris-diderot.fr:8080/letouzey/mini-pascal|dépôt git du mini-pascal]] (pour le premier TP).

Le [[http://moule.informatique.univ-paris-diderot.fr:8080/letouzey/mini-caml|dépôt git du mini-caml]] (pour le projet).