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