Programmation fonctionnelle et introduction à la
théorie des types
Format de l'enseignement : Cours 5h, TP 5h.
Supports
Quelques références
- Types and Programming Languages, B. C. Pierce, MIT Press, 2002.
- Using, Understanding, and Unraveling The OCaml Language,
Didier Rémy, APPSEM'2000 summer school, ici
- Une implémentation ``simple'' de langage ML (avec les sources) : Caml Light