Type classes with existential types (1996)

by K Laufer
Venue:Journal of Functional Programming