Type classes with existential types (2005)

by K Läufer
Venue:Proc. ICFP 2005