Type Classes with Existential Types (1995)

Cached

Download Links

by Konstantin Läufer
Citations:29 - 0 self

Documents Related by Co-Citation

153 Type classes with functional dependencies – Mark P. Jones - 2000
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
53 Strongly typed heterogeneous collections – Oleg Kiselyov - 2004
132 Qualified types: Theory and practice – M P Jones - 1992
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
20 P.J.: Understanding functional dependencies via constraint handling rules – M Sulzmann, G J Duck, S Peyton-Jones, Stuckey - 2007
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
94 Putting Type Annotations to Work – Martin Odersky, Konstantin Läufer - 1996
939 A theory of type polymorphism in programming – Robin Milner - 1978
61 Polymorphic Type Inference and Abstract Data Types – Konstantin Läufer, Martin Odersky - 1994
48 Parametric overloading in polymorphic programming languages – S Kaes - 1988
75 Associated type synonyms – M M T Chakravarty, G Keller, S P Jones - 2005
89 Coherence for Qualified Types – Mark P. Jones - 1993