Langages Fonctionels - DESS GLA

Nouvelles fraiches

• Liste de projets du module
• Liste de projets d'année

Support de cours

• Lambda-calcul
• Algorithme de typage de ML
• Typage de l'extension Objet d'OCAML
• Résolution de la surcharge en Java
• Objets en O'Caml
• GJ : types génériques en Java
• Langage Scol : documentations

Page maintenue par Emmanuel Chailloux, dernière modification le 12/11/00 à 22h52

---

PPS

UFR P6