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:63 - 3 self

Documents Related by Co-Citation

95 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
102 Polymorphic type inference and containment – John C Mitchell - 1988
347 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
940 A theory of type polymorphism in programming – Robin Milner - 1978
359 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
27 On the undecidability of partial polymorphic type reconstruction – Frank Pfenning - 1992
289 Dependent Types in Practical Programming – Hongwei Xi, Dana Scott - 1998
218 Unification revisited – J Lassez, M Maher, K Marriott - 1986
130 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
103 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
81 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
162 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 - 1985
136 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
157 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
38 Stratified type inference for generalized algebraic data types – Ois Pottier Yann R'egis-gianas - 2006