Langages de Programmation

Langages de Programmation

Jean-Jacques Lévy

    Cours 0: Présentation [en Postscript, en Pdf]
    Cours 1: Langages fonctionnels [en Postscript, en Pdf]
    Cours 2: Déclarations, environnements, langages typés [en Postscript, en Pdf]
    Cours 3: Inférence de type, types polymorphes [en Postscript, en Pdf]
    Cours 4: Algorithme W. Mémoire, références et tableaux [en Postscript, en Pdf]
    Cours 5: Références, variables modifiables. Assertions [en Postscript, en Pdf]
    Cours 6: Programmation logique [en Postscript, en Pdf]
    Cours 7: Allocation mémoire [en Postscript, en Pdf]
    Cours 8: Objets [en Postscript, en Pdf]


Gilles Dowek et Alan Schmitt

    TD1: Evaluateur de PCF
    TD2: Interpréteur de PCF
    TD3: Vérificateur de type
    TD4: Inférence de type
    TD5: Types polymorphies. Algorithme W
    TD6: Prolog
    TD7: Garbage collector
    TD8: Objets

    Remise à niveau en Caml

    Examen écrit du 5 Décembre [en Postscript, en Pdf]. Corrigé [en Postscript, en Pdf].

    Lisez le forum ou écrivez dans le forum de la majeure (accès restreint).


Cours de majeure d'Informatique,
Ecole Polytechnique, 2000-2001