Implementing Type Classes

Implementing Type Classes

Cached

Download Links

Other Repositories/Bibliography

DBLP

by John Peterson , Mark Jones

Citations:

114 - 13 self

BibTeX

@MISC{Peterson_implementingtype,
    author = {John Peterson and Mark Jones},
    title = {Implementing Type Classes},
    year = {}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

595	Compiling with Continuations - Appel - 1992
315	How to make ad-hoc polymorphism less ad-hoc - Wadler, Blott - 1989
221	Principal type schemes for functional programs - Damas, Milner - 1982
196	Purely Functional Data Structures - Okasaki - 1998
161	PolyP—A polytypic programming language extension - Jansson, Jeuring - 1997
138	Type classes with functional dependencies - Jones - 2000
125	Qualified types: theory and practice - Jones - 1992
102	Polytypic Values Possess Polykinded Types - Hinze - 2000
89	A debugger for standard ml - Tolmach, Appel - 1995
84	A new approach to generic functional programming - Hinze - 2000
84	Type classes: an exploration of the design space - Jones, Jones, et al. - 1997
82	Polymorphic type inference - Leivant - 1983
81	Generic programming: An introduction - Backhouse, Jansson, et al. - 1998
75	Report on the programming language Haskell, version 1.2 - Hudak, Jones, et al. - 1992
70	Implicit parameters: Dynamic scoping with static types - Lewis, Launchbury, et al. - 2000
52	Compiling Haskell by program transformation: a report from the trenches - Jones
39	A generic programming extension for Haskell - Hinze - 1999
27	Functorial ML - Bellè, Jay, et al. - 1996
22	Manufacturing datatypes - Hinze - 2001
17	Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations - Bird - 1996
15	Analytical and Structural Polymorphism Expressed Using Patterns Over Types - Ruehr - 1992
14	A modular fully-lazy lambda lifter - Jones, Lester - 1991
11	Computing with lattices: An application of type classes - Jones - 1992
10	Qualified types: Theory and - Jones - 1992
8	A Type-Sensitive Preprocessor for Haskell - Winstanley - 1997
7	A static semantics for Haskell (draft - Jones, Wadler - 1992
3	Implementing Haskell overloading. To appear - Augustsson - 1993
3	Implementing Haskell Type Classes - Hammond, Blott - 1989