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

81 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
21 Partial polymorphic type inference is undecidable – Hans-J Boehm - 1985
940 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
124 Unification under a mixed prefix – Dale Miller - 1992
62 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
26 Rank 2 Type Systems and Recursive Definitions – Trevor Jim - 1995
102 Polymorphic type inference and containment – John C Mitchell - 1988
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
95 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
102 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
364 Towards a theory of type structure – J C Reynolds - 1974
92 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
359 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
143 The principal type-scheme of an object in combinatory logic – J R Hindley - 1969
54 Programming Objects with ML-ART: An extension to ML with Abstract and Record Types – D Rémy - 1994
23 partial type-inference for System F based on type-containment – Simple