Cours : Langages Fonctionnels et Typage
Nouvelles fraiches
- Premier cours le lundi 29/9/2003
- Prérequis : connaissances de base de Caml
pour ceux qui n'ont jamais vu ce langage voici une bibliographie en ligne :
- le site principal (distrib, docs, ...) : à l'Inria
Support de cours
Partie I : valeurs fonctionnelles et polymorphisme paramétrique
Proposition de projet d'annee
- environnement VS pour ocamil : texte
Partie II : typage des objets, autres polymorphismes
- Cours 4 (20/10) Typage des objets en O'Caml (PDF)
- Cours 5 (3/11) : cast objet en O'Caml (PDF), typage en Java (PDF,HTML)
- Cours 6 (10/11) : Generic Java
- Cours 7 (17/11) : IDL pour O'Caml et Java : O'Jacare
Partie III : langages et applications
- Cours 8 (2/12) : Scol et mondes virtuels
Evaluation
- Liste des projets : à choisir pour le 2 décembre 2003
Page maintenue par Emmanuel Chailloux, dernière modification le 23/11/2003
PPS