From Hindley-Milner types to first-class structures (1995)

Cached

Download Links

by Mark P. Jones
Venue:In Proceedings of the Haskell Workshop
Citations:14 - 0 self

Documents Related by Co-Citation

939 A theory of type polymorphism in programming – Robin Milner - 1978
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996
132 Qualified types: Theory and practice – M P Jones - 1992
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
54 Programming objects with ML-ART: an extension to ML with abstract and record types – D Rémy - 1994
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
1312 Monads for functional programming – Philip Wadler - 1995
26 The Implementation of Practical Functional Programming Languages – N Perry - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
159 Simple Type-Theoretic Foundations for Object-Oriented Programming – Benjamin C. Pierce, David N. Turner - 1993
895 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
114 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
31 Type-Safe Cast: Functional Pearl – Stephanie Weirich - 2000
26 Structural Subtyping of Non-Recursive Types is Decidable – Viktor Kuncak, Martin Rinard - 2003
29 An Improved Lower Bound for the Elementary Theories of Trees – Sergei Vorobyov - 1996