Type Reconstruction with First-Class Polymorphic Values (1989)

Cached

Download Links

by James William O'Toole, Jr. , David K. Gifford
Citations:11 - 0 self

Documents Related by Co-Citation

79 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
20 Partial polymorphic type inference is undecidable – H-J Boehm - 1985
70 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
873 A theory of type polymorphism in programming – Robin Milner - 1978
58 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
109 Unification under a mixed prefix – Dale Miller - 1992
24 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
26 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
95 Polymorphic type inference and containment – John C Mitchell - 1988
91 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
7 Type Inference for System F with and without the Eta Rule – Joe B Wells - 1996
95 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
150 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
78 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
337 Towards a theory of types structure – John C Reynolds - 1974
322 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
129 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
21 partial type-inference for System F based on type-containment – Simple - 2005
51 Programming objects with ML-ART: An extension to ML with abstract and record types – Didier Rémy - 1994