Cours 554
Introduction à la théorie des langages de programmation

• Description de la troisième année et du cours dans le catalogue.
• Enseignants, Luc Maranget et David Baelde.
• Le livre homonyme, de Gilles Dowek et Jean-Jacques Lévy, support du cours.
• Le langage du cours est Objective Caml. Les cours préliminaires de Caml sont chaudement recommandés (c’est un euphémisme).
  • Manuel de référence, avec la documentation de la bibliothèque.
• Amphis, le mercredi de 10h30 à 12h00, PC 20.
  • 01 — 24 sept. – Termes et relations, [pdf, pdf4, html]
  • 02 — 1^er oct. – Le langage PCF, [pdf, pdf4, html]
    Corrigés du TP, eval.ml et
  • 03 — 8 oct. – Interprétation, environnement, [pdf, pdf4, html]
    Corrigés du TP, inter.ml (appel par valeur) et inter_cbn.html (appel par nom, solution non-standard).
  • 04 — 15 oct. – Compilation, [pdf, pdf4, html]
    Corrigés du TP, machine.ml et compiler.ml.
  • 05 — 22 oct. – Types simples, [pdf, pdf4, html]
    Corrigé du TP, check.ml.
  • 06 — 5 nov. – Synthèse de types, [pdf, pdf4, html]
    Corrigés du TP, hindley.ml (inférence de type par accumulation d’équations), et eq.ml (algorithme de Robinson), et encore hindley2.ml (résolution immédiate).
  • 07 — 12 nov. – Polymorphisme, [pdf, pdf4, html]
    Corrigé du TP, poly.ml
  • 08 — 26 nov. – Constructions impératives, [pdf, pdf4, html]
    Corrigé du TP, iInter.ml
  • 09 — 3 dec. – Enregistrements et objets, [pdf, pdf4, html]
• TP, le mercredi 13h45 à 15h45, salle info 34. Tous les TP ou presque utilisent la bibliothèque Pcf.
• Examen final, corrigé.

Ce document a été traduit de L^AT_EX par H^EV^EA