Cours : Langages Fonctionnels et Typage

à l'UFR d'Informatique de l'Université Paris 6

. -->

Support de cours

Cours 1 (23/9) : lambda-calcul pur (PDF)
Applet : visualisation graphique de la réduction
Cours 2 (30/9) : lambda-calcul typé (PDF)
Cours 3 (7/10) : algorithme d'inférence de types (PDF, HTML)
Cours 4 (21/10) : comparaison Scheme/ML (PDF)

Cours 5 (4/11) : typage en Java (PDF, HTML)
Cours 6 (18/11) : typage des objets en O'Caml (PDF)
Cours 7 : (25/11) : typage dynamique des objets en O'Caml (PDF contient le cours 6 en PDF extractible)
- Installer coca-ml
- lancer les tests et les exemples
- traduire en coa-ml le code Java suivant
Cours 8 : (2/12) : Generic Java (PDF)

Liste (un peu moins) provisoire (25/11) de mini-projets du cours LF et typage

Planning and evaluation : Draft version