Type classes for better free theorems (1994)

by Erik Meijer
Venue:In preparation