Accueil
Connexion
DENIF –
Documents d’Enseignement Numériques en Informatique Fondamentale
Thèmes
Cursus
Enseignants
Langages de programmation
Thèmes :
Programmation
,
Sémantique
–
Cursus :
MPRI - M2
2006 - 2007
Systèmes de types
François Pottier
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é