Type Classes: An Exploration of the Design Space (1997)

by Simon Peyton Jones , Mark Jones , Erik Meijer
Venue:In Haskell Workshop
Citations:89 - 8 self

Documents Related by Co-Citation

153 Type classes with functional dependencies – Mark P. Jones - 2000
132 Qualified types: Theory and practice – M P Jones - 1992
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
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
51 Typing Haskell in Haskell – Mark P. Jones - 1999
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
219 Cayenne -- a Language With Dependent Types – Lennart Augustsson - 1998
48 Parametric overloading in polymorphic programming languages – S Kaes - 1988
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
81 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
11 Type classes in Mercury – D Jeery, F Henderson, Z Somogyi - 1998
8 Fun with functional dependencies. In Joint Winter Meeting of the Departments of – Thomas Hallgren - 2001
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
121 Implementing Type Classes – John Peterson, Mark Jones
29 From fast exponentiation to square matrices: an adventure in types – C Okasaki - 1999
246 The standard template library – Alexander Stepanov, Meng Lee - 1994
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997