Jour: Vendredi
Date: 24/11/06
Heure: 10h30
Salle: Amphi 2 du Bat 1.
Projet: cristal
Orateur: Boris Yakobowski
Institution(optionnel): INRIA-Rocquencourt
Titre: MLF avec des graphes: instance et unification
Titre-long(optionnel):
Message(optionnel):
Resume:

Le langage MLF étend à la fois ML et le System F, en combinant les avantages
de  chacun. Pour arriver  à ce  résultat, il  utilise des  types extrêmement
riches, dont  la présentation syntaxique est malheureusement  parfois un peu
lourde. Nous  proposons une nouvelle définition  des types sous  la forme de
graphes (acycliques).  Plus précisément, un  type est la  superposition d'un
type  du premier  ordre et  d'une  structure de  binding arborescente.  Nous
définissons sur ces types  graphiques une relation d'instance qui généralise
l'instance  du premier  ordre  et  ajoute un  conrôle  de permissions.  Nous
proposons  un  algorithme  d'unification   pour  ces  types  graphiques,  de
complexité linéaire.