A graphical presentation of MLF types with a linear-time unification algorithm (2007)
by
Thème Sym
,
Didier Rémy
,
Didier Rémy
,
Boris Yakobowski
,
Boris Yakobowski
,
Projet Gallium
| Venue: | In TLDI’07: Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation |
| Citations: | 14 - 7 self |
BibTeX
@INPROCEEDINGS{Sym07agraphical,
author = {Thème Sym and Didier Rémy and Didier Rémy and Boris Yakobowski and Boris Yakobowski and Projet Gallium},
title = {A graphical presentation of MLF types with a linear-time unification algorithm},
booktitle = {In TLDI’07: Proceedings of the 2007 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation},
year = {2007},
pages = {27--38},
publisher = {ACM Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
apport de recherche ISSN 0249-6399 ISRN INRIA/RR--????--FR+ENG A graphical presentation of MLF types with a linear-time local unification algorithm.
Citations
| 323 | Principal type-schemes for functional programs - Damas, Milner - 1982 |
| 221 | Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur. Thèse de Doctorat d’ État, Université de Paris VII - Girard - 1972 |
| 53 | Résolution d’équations dans les langages d’ordre 1 - Huet - 1976 |
| 40 | Dynamic lca queries on trees - Cole, Hariharan - 1999 |
| 21 | MLF: Une extension de ML avec polymorphisme de second ordre et instanciation implicite - BOTLAN - 2004 |
| 21 | Botlan and Didier Rémy. MLF: Raising ML to the power of System-F - Le |
| 19 | Qualified types for MLF - Leijen, Löh - 2005 |
| 8 | Numbering matters: First-order canonical forms for second-order recursive types - Gauthier, Pottier - 2004 |
| 8 | Botlan and Didier Rémy. Recasting MLF - Le - 2007 |
