Cette page est la page officielle du cours du 1er semestre 2006/2007 intitulé « Typage et Polymorphisme » qui s'adresse aux étudiants de master de l'UPMC. La description de la brochure du module se trouve ici.

• Nouvelles fraîches
• Notes de cours, TD et TME
• Equipe pédagogique
• Examens
• Bibliographie
• Autres liens

Nouvelles fraîches

• notes sur DBUFR, consultation des copies à la rentrée
• planning des soutenances du vendredi 1/12/06 (nouvelle version ici)
• nouvelle date de rendu pour le projet tep : lundi 27/11/2006 avant 12h , pour le rendu envoyez un mail en cliquant ici.
• date de l'examen : lundi 13/11 matin à 9h30
• conference de Jean-Francois Perrot, sur "types et classes", vendredi 20/10/206 à 14h sur le site Jussieu (suivre lien)
• 2eme cours : lundi 02/10/2006 à 8h45 au Bat 41 salle 313,
  puis pratique en salle machine au Bat 41 salle 317
• 1er cours : lundi 25/09/2006 à 8h30 au Bat 41 salle 313

Notes de cours, TD et TME

• 7eme cours : sérialisation
  • sérialisation en java : début du cours 7 de pc2r (PDF)
  • avec coca-ml : fin du cours 4 de tep (PDF)
  • en ocamil (PDF)
  • sans information de types (PDF)

• 6eme cours : classes parametrees en Java (PDF)
  • implantation des exemples du tutorial Java 1.5 (PDF)

• 5eme cours : typage en Java (HTML,PDF); interopérabilité Java-O'Caml (page O'Jacaré); exposé O'Jacaré
  • test de l'algorithme de surcharge en Java 1.5
  • test d'O'jacaré

• 4eme cours : typage objet en O'Caml suivi de typage dynamique ( cast objet en O'Caml (PDF));
  • programmation objet en O'Caml (chapitre 15 de DA-OC).
  • utilisation de coca-ml (pré-version compatible ocaml 3.09)
  • papier jfla2002 sur coca-ml (en PS).
  • exemple de visiteurs pdf

• 3eme cours : typage d'un mini-ML fonctionnel et impératif (PDF, HTML).
  • Ajout des traits impératifs à un typeur (cf lien).

• 2eme cours : lambda-calcul simplement typé (PDF)
  • Applet : vérification de type en lambda-calcul
  • typeur en OCAML.

• 1er cours : lambda-calcul pur(PDF)
  compilation du lambda-calcul et machine de Krivinne (PDF et programme caml)
  • Applet : visualisation graphique de la réduction

Équipe pédagogique

L'équipe pédagogique est ainsi constituée: Emmanuel Chailloux . Pour envoyer un courrier à l'équipe pédagogique, cliquez ici.

Examens et notation

L'évaluation de ce module comprend :

• examen écrit : sujet 2004-2005, sujet 2005-2006
• une étude sur un article ou une mini-réalisation à choisir dans cette liste (10/11/2006)

Bibliographie

• sur le lambda-calcul
  • Hindley and Seldin. Introduction to Lambda-Calculus and combinators Cambridge University Press, 1986.

  • Chantal Berline. une introduction au lambda-calcul, cours au dea de logique, 2001-2002 (cf lien).

• sur le typage de ML

  • R. Milner.A therory of type polymorphism in programming, Comput. Syst. Sci., 1978.

  • F. Pottier, langages de programmation : sémantique et typage, cours au Master MPRI en 2005-2006 (cf lien).

  • Jean-Jacques Lévy, langages de programmation (cf lien)

• sur le typage Objet :

  • M-V. Aponte, Introduction au typage des objets en Ocaml, 2005-2006, cours au cnam (en PDF)

  • D. Remy, modules et objets, cours à l'X (cf lien)

• sur Objective Caml

  • Xavier Leroy et al. The Objective Caml system : documentation and user's manual (cf lien)

  • Emmanuel Chailloux, Pascal Manoury et Bruno Pagano. Développement d'Applications avec Objective Caml. O'Reilly, 2000 (cf lien)

  • Guy Cousineau et Michel Mauny. Approche fonctionnelle de la programmation. Dunod, 1995 (cf lien1 et lien2).

  • Pierre Weis et Xavier Leroy. Le langage Caml Dunod, 1999.

  • Catherine Dubois et Valérie Ménissier-Morain. Apprentissage de la programmation avec OCaml. Hermès, 2000 (cf lien).

  • Philippe Nardel. Programmation fonctionnelle, générique et objet : Une introduction avec le langage Ocaml. Vuibert 2005

Autres liens

• la page d'Objective Caml
• la page de ICFP Contest

---

Remarques?    dernière modification : 22/12/2006