Principes des langages de programmation

Documents

Note : les planches sont mises en ligne après chaque cours.

Cours (intro du poly):

Introduction, langages de programmation, premiers pas en OCaml (poly, planches)
Expressions rationnelles, automates, analyse lexicale (poly, planches)
Grammaires algébriques, analyse syntaxique (poly, planches)
Termes du premier ordre, filtrage, unification (poly, planches)
Sémantique dénotationnelle (poly, planches)
Lambda-calcul (poly, planches)
Sémantique opérationnelle (poly, planches)
Objets (poly, planches)
Gestion de la mémoire (poly, planches)
Typage (poly, planches)

Bibliographie:

le cours de compilation de Luc Maranget à l'X
le support de cours sur les termes du premier ordre d'Hubert Comon et Jean-Pierre Jouannaud
la bible du lambda-calcul, par Henk Barendregt
la page d'un cours de lambda-calcul de Jean-Jacques Lévy

Annexes

Documentations en ligne

Histoire des langages de programmation

Une table généalogique chez O'Reilly (ou directement le poster au format PDF). Voir aussi la version originale.
L'inévitable Wikipedia: Alphabetical list of programming languages.