DEA Programmation

Cours "Typage et Programmation"

Corrigé de l'examen (PDF, Postscript et Postscript compressé).

Notes du cours, en un fichier: PDF, Postscript et Postscript compressé.

Notes du cours, par chapitre:

  1. Mini-ML: évaluation et typage
    Notes: PDF, Postscript et Postscript compressé.
    Corrigé des exercices: PDF, Postscript et Postscript compressé.
    Corrigé des exercices de programmation.

  2. Sûreté du typage et sémantique à réductions
    Notes: PDF, Postscript et Postscript compressé.
    Corrigé des exercices: Postscript et Postscript compressé.
    Corrigé des exercices de programmation.

  3. Inférence de types
    Notes: PDF, Postscript et Postscript compressé.
    Corrigé des exercices de programmation.

  4. Extensions simples de mini-ML
    Notes: PDF, Postscript et Postscript compressé.
    Corrigé des exercices: PDF, Postscript et Postscript compressé.
    Corrigé des exercices de programmation.

  5. Programmation impérative
    Notes: PDF, Postscript et Postscript compressé.
    Corrigé des exercices: PDF, Postscript et Postscript compressé.
    Corrigé des exercices de programmation.

  6. Enregistrements extensibles
    Notes: PDF, Postscript et Postscript compressé.
    Corrigé des exercices: PDF, Postscript et Postscript compressé.
    Corrigé des exercices de programmation.

  7. Programmation par objets et classes
    Copie des transparents: Postscript et Postscript compressé.
    Notes: PDF, Postscript et Postscript compressé.
    Corrigé des exercices: PDF, Postscript et Postscript compressé.

  8. Programmation modulaire
    Copie des transparents: Postscript et Postscript compressé.
    Notes: Postscript et Postscript compressé.
    Corrigé des exercices: Postscript et Postscript compressé.

Pour tester les programmes des exercices: un parser OCamlYacc et un lexer OCamlLex.

Pour préparer l'examen:

Xavier.Leroy@inria.fr