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

80 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
21 Partial polymorphic type inference is undecidable – H-J Boehm - 1985
939 A theory of type polymorphism in programming – Robin Milner - 1978
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
124 Unification under a mixed prefix – Dale Miller - 1992
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
103 Polymorphic type inference and containment – J C Mitchell - 1984
94 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
103 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
363 Towards a theory of type structure – J C Reynolds - 1974
91 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
23 partial type-inference for System F based on type-containment – Simple
54 Programming objects with ML-ART: an extension to ML with abstract and record types – D Rémy - 1994