DENIF – Documents d’Enseignement Numériques en Informatique Fondamentale

     Systèmes de types  

•   Types simples
•   Polymorphisme
•   Extensions
•   Closure conversion préservant le typage

     Sous-typage et types récursifs  

•   Subtyping second-order types
•   Semantic subtyping
•   XML Programming

     Programmation modulaire  

•   Lesson 1
•   Lesson 2

     Examen  

•   Sujet
•   Corrigé

     Compilation et transformations de programmes  

•   1 - operational semantics
•   2 - abstract machines and compilation
•   3 - program transformations
•   4 - monads and monadic transformations
•   5 - functional intermediate representations
•   Exercises
•   Answers

     Systèmes de types  

•   1 - Types simples
•   2 - Polymorphisme
•   3 - Extensions
•   4 - Closure conversion préservant le typage
•   5 - Défonctionalisation préservant le typage (article)
•   Examen : sujet
•   Examen : corrigé

     Examen  

•   Sujet
•   Corrigé

     Programmation concurrente et linéaire avec contraintes  

•   Constraint Logic Programming I and II: Introduction, logical background, CLP operational semantics and examples
•   Constraint Logic Programming III and IV: operational, fixpoint and logical semantics
•   Concurrent Constraint Programming I: operational semantics and examples
•   Concurrent Constraint Programming II: denotational and logical semantics
•   Concurrent Constraint Programming III: linear CC, phase semantics
•   Handout version of all the above
•   Projet de programmation PROLOG

     Functional programming languages  

•   Part I: operational semantics
•   Part II: abstract machines and compilation
•   Part III: program transformations
•   Part IV: monads and monadic transformations
•   Exercises
•   Some answers
•   Examen : sujet
•   Examen : corrigé

     Systèmes de types  

•   Présentation des cours
•   The Essence of ML Type Inference (EMLTI) (chapitre de Advanced Topics in Types and Programming Languages)
•   Version longue d'EMLTI
•   Rapport d'habilitation à diriger les recherches de François Pottier
•   Cours donné à l'APPSEM: A modern eye on ML type inference
•   An informal guide to picking fresh names
•   Examen : sujet
•   Examen : corrigé

     Programming Project  

•   Description of the programming task with some source code
•   Description of the programming task

     Cours

•   Notes de cours de DEA
•   Code Caml correspondant aux solutions des exercices

     Examens

•   Corrigé 1999
•   Sujet 2000 - analyse d'exceptions
•   Corrigé 2000
•   Sujet 2001 - types existentiels; sous-typage et coercions
•   Corrigé 2001
•   Sujet 2002 - codage de ML dans F
•   Corrigé 2002
•   Sujet 2003 - unification du premier ordre
•   Corrigé 2003
•   Sujet 2004 - codage des paires à la Church
•   Corrigé 2004
•   Sujet 2005 - typage sûr pour callcc
•   Corrigé 2005

     Typage et Programmation  

•   1. Mini-ML: évaluation et typage
•   2. Sûreté du typage et sémantique à réductions
•   3. Inférence de types
•   4. Extensions simples de mini-ML
•   5. Programmation impérative
•   6. Enregistrements extensibles
•   7. Programmation par objets et classes
•   7. (Transparents)
•   8. Programmation modulaire
•   8. (Transparents)

     Corrigé des exercices

•   1. Exercices
•   1. Exercies de programmation
•   2. Exercices
•   2. Exercies de programmation
•   3. Exercies de programmation
•   4. Exercices
•   4. Exercices de programmation
•   5. Exercices
•   5. Exercices de programmation
•   6. Exercices
•   6. Exercices de programmation
•   7. Exercices
•   8. Exercices

     Examens

•   1999-2000 : Sujet
•   1999-2000 : Corrigé
•   2000-2001 : Sujet
•   2000-2001 : Corrigé

     Notes de Didier Rémy

•   Cours complet (141 pages)

     Examens

•   Examen - Sujet
•   Examen - Sujet et corrigé