Implementing Haskell overloading (1993)

Cached

Download Links

by Lennart Augustsson
Venue:In Functional Programming Languages and Computer Architecture
Citations:44 - 1 self

Documents Related by Co-Citation

345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
17 Partial Evaluation for Dictionary-free Overloading – Mark P. Jones - 1993
121 Implementing Type Classes – John Peterson, Mark Jones
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
1312 Monads for functional programming – Philip Wadler - 1995
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
132 Qualified types: Theory and practice – M P Jones - 1992
234 Principal type schemes for functional programs – R Milner - 1982
47 An Ad-Hoc Approach to the Implementation of Polymorphism – R. Morrison, A. Dearle, R.C.H. Connor, A.L. Brown - 1991
38 Parametric type classes – Kung Chen, Paul Hudak, Martin Odersky - 1992
89 Coherence for Qualified Types – Mark P. Jones - 1993
625 Compiling With Continuations – A W Appel - 1992
363 Towards a theory of type structure – J C Reynolds - 1974
16 An approach to overloading with polymorphism – Stephen Blott - 1992
93 A Critique of Standard ML – Andrew W. Appel - 1992
120 The Glasgow Haskell compiler: a technical overview – Simon L. Peyton Jones, Cordy Hall, Kevin Hammond, Jones Cordy, Hall Kevin, Will Partain, Phil Wadler - 1992
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995