Parametric Type Classes

Authors:

Kung Chen, Paul Hudak, and Martin Odersky

Abstract:

We propose a generalization to Haskell's type classes where a class can have type parameters besides the placeholder variable.  We show that this generalization is essential to represent container classes with overloaded data constructor and selector operations.  We also show that the resulting type system has principal types and present unification and type reconstruction algorithms.

Bibtex:

 @inproceedings{lfp92,
	author = {Chen, K. and Hudak, P. and Odersky, M.},
	title = {Parametric Type Classes},
	month = {June},
	year = {1992},
        pages ={170--181},
        publisher =   "ACM",
	booktitle = {Proceedings of ACM Conference on Lisp and 
                     Functional Programming}
} 

Links:

ParametricTC-LFP92.pdf