Parametric type classes (1992)

by Peter Wegner
Venue:In Proc. of Lisp and F.P