To: seminaire-gallium-moscova@inria.fr From: Francois.Pottier@inria.fr Subject: SEM - INRIA : Gallium - 11/02/08 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/ S E M I N A I R E __ / _` _ / / o /| /| __ __ __ __ _ _ / ) __) / / / / / /\/| ----- / |/ | / )(_ / / ) ) ) __) (___/ (_/ (_ (_ / (__/ / | / | (__/ __)(_ (__/ (_/ (_/ I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Lundi 11 février, 14h ---------------- Boris Yakobowski ---------------- INRIA ======================================== Types et contraintes graphiques pour MLF ======================================== Les types graphiques ont été introduits pour simplifier la méta-theorie du langage MLF. Dans cet exposé je montrerai comment, en ajoutant 4 nouvelles constructions -- noeuds existentiels, noeuds schémas, arcs d'unification arcs d'instantiation -- il est possible de généraliser ces types en contraintes graphiques. Je donnerai ensuite une sémantique à ces contraintes, en termes d'ensembles de types graphiques. J'isolerai ensuite une large classe de contraintes ayant des solutions principales et décidables. Enfin, je présenterai une transformation compositionnelle des programmes vers ce fragment des contraintes. Un corollaire de ces résultats est que, sous des hypothèses réalistes, l'inférence de types pour MLF a une complexité linéaire.