S.: How to make ad-hoc polymorphism less ad hoc (1989)

by P Wadler, Blott
Venue:In: Proc. POPL