HMF: Simple type inference for first-class polymorphism (2008)

by Daan Leijen
Citations:14 - 0 self

Active Bibliography

12 Flexible types: robust type inference for first-class polymorphism – Daan Leijen - 2009
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
91 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis papers/275Boxy Types: Inference for Higher-Rank Types and – Dimitrios Vytiniotis, Stephanie C. Weirich, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
FPH: First-class Polymorphism for Haskell Declarative, constraint-free type inference for impredicative polymorphism – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
FPH: First-class polymorphism for Haskell -- Extended Version – Dimitrios Vytiniotis - 2008
2 Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version – Jeremy Siek, Walid Taha - 2006
Practical type inference for – Simon Peyton, Jones Dimitrios Vytiniotis, Stephanie C. Weirich, Mark Shields, Simon Peyton Jones, Stephanie Weirich, Mark Shields
1 QML: Explicit First-Class Polymorphism for ML – Claudio V. Russo, Dimitrios Vytiniotis
5 Recasting ML^F – Didier Le Botlan, Didier Rémy - 2007
4 Extensible records with scoped labels – Daan Leijen - 2005
11 Programming With Types – Stephanie Claudene Weirich - 2002
11 Partial Type Assignment in Left Linear Applicative Term Rewriting Systems -- Theory, Applications and Implementation – Steffen van Bakel, Sjaak Smetsers, Simon Brock - 1992
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
Type Systems for Programming Languages – Steffen van Bakel - 2001
10 A rewriting semantics for type inference – George Kuan, David Macqueen, Robert Bruce Findler - 2007
A Church-Style Intermediate Language for MLF – Didier Rémy A, Boris Yakobowski B
Draft version – Didier Rémy, Boris Yakobowski, Thème Sym, Didier Rémy, Boris Yakobowski, Projet Gallium - 2008
15 A graphical presentation of MLF types with a linear-time unification algorithm – Thème Sym, Didier Rémy, Didier Rémy, Boris Yakobowski, Boris Yakobowski, Projet Gallium - 2007