First-class Polymorphism with Type Inference (0)

Cached

Download Links

by Mark P. Jones
Citations:47 - 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
1312 Monads for functional programming – Philip Wadler - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
82 The Design of a Pretty-printing Library – John Hughes - 1995
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
195 Standard ML of New Jersey – Andrew W. Appel, David B. Macqueen - 1991
58 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
71 Coercion and type inference, in – J C Mitchell - 1984
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
363 Towards a theory of type structure – J C Reynolds - 1974
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
99 Dynamic Typing in Polymorphic Languages – Martín Abadi, Luca Cardelli, Benjamin Pierce, Didier Rémy - 1995