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

by Daan Leijen
Citations:14 - 0 self

Documents Related by Co-Citation

91 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
58 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998
358 Principal type-schemes for functional programs – L Damas, R Milner - 1982
12 Flexible types: robust type inference for first-class polymorphism – Daan Leijen - 2009
936 A theory of type polymorphism in programming – Robin Milner - 1978
23 partial type-inference for System F based on type-containment – Simple
31 Boxy types: inference for higher-rank types and impredicativity – D Vytiniotis, S Weirich, Peyton Jones, S - 2005
9 Botlan and Didier Rémy. Recasting MLF – Didier Le - 2007
9 FPH: First-class polymorphism for Haskell – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
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
23 Qualified types for MLF – Daan Leijen, Andres Löh - 2005
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
81 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
20 Semi-Explicit First-Class Polymorphism for ML – Jacques Garrigue, Didier Rémy - 1999
8 A logical algorithm for ML type inference – D McAllester - 2003
14 A type directed translation of MLF to System F – Daan Leijen - 2007
21 MLF: Une extension de ML avec polymorphisme de second ordre et instanciation implicite – D LE BOTLAN - 2004
95 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999