Type Classes

Type Classes

S. Blott (PHDTHESIS, 1991)

Derivable Type Classes

R. Hinze and S. Peyton Jones[G. Hutton (ed)] (INPROCEEDINGS, 2000)

Type Classes in Haskell

C. Hall and K. Hammond and S. Peyton Jones and P. Wadler (TECHREPORT, 1992)

A system of constructor classes: overloading and implicit higher-order polymorphism

M.P. Jones[ (ed)] (INPROCEEDINGS, 1993)

Dictionary-free Overloading by Partial Evaluation

M.P. Jones[ (ed)] (INPROCEEDINGS, 1994)

Implementing Type Classes

J. Peterson and M.P. Jones[ (ed)] (INPROCEEDINGS, 1993)

How to Make ad-hoc Polymorphism Less ad hoc

P. Wadler and S. Blott[ (ed)] (INPROCEEDINGS, 1989)