Type classes with existential types (1996)

by K Läufer
Venue:J. of Functional Programming