Typage 2017/2018

Première Partie - les transparents du cours:

Dernière mise à jour
Preséntation (Pdf) 17/1/2018
Sémantique (Pdf) 17/1/2018
Monomorphe à la Church (Pdf) 17/1/2018
Unification (Pdf) 17/1/2018
Monomorphe à la Curry (Pdf) 23/01/2018
Polymorphisme (Pdf) 30/01/2018

Deuxième Partie - les transparents du cours

Quelques exercices
TD3

Les notes de cours de X. Leroy

Horaire et salle de cours
Le mercredi de 10h00 à 11h30, salle 2035, deuxième étage, Bât Sophie Germain, Univ. Paris-Diderot.
Le mercredi de 11h30 à 13h00, salle 2031, deuxième étage, Bât Sophie Germain, Univ. Paris-Diderot.
L'examen final aura lieu le ? Univ. Paris-Diderot.