Jour: Vendredi Date: 28/10/04 Heure: 10h30 Salle: Salle du batiment 05 Projet: cristal Orateur: Didier Rémy Institution(optionnel): Titre: Inférence partielle dans le System F predicatif Titre-long(optionnel): Message(optionnel): Resume: Je vous propose un petit-seminaire jeudi 28 à 10h30 pour vous raconter le travail en cours avec François Pottier sur l'inférence partielle de types dans le système F prédicatif. Didier