Polymorphic Type Inference and Abstract Data Types (1994)

Cached

Download Links

by Konstantin Läufer , Martin Odersky
Venue:ACM Transactions on Programming Languages and Systems
Citations:61 - 3 self

Documents Related by Co-Citation

94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
54 Programming objects with ML-ART: an extension to ML with abstract and record types – D Rémy - 1994
103 Polymorphic type inference and containment – J C Mitchell - 1984
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
939 A theory of type polymorphism in programming – Robin Milner - 1978
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
290 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
219 and K.Marriott. Unification Revisited – J-L Lassez, M J Maher - 1988
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
102 Phantom Types – James Cheney, Ralf Hinze - 2003
78 A direct algorithm for type inference in the rank-2 fragment of the second-order λ-calculus – A. J. Kfoury, J. B. Wells - 1993
80 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
164 Solving Equations in Abstract Algebras: a Rule-Based Survey of Unification – J-P Jouannaud, C Kirchner - 1991
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
37 Stratified type inference for generalized algebraic data types – Ois Pottier Yann R'egis-gianas - 2006