How to make ad-hoc polymorphism less ad hoc (1989)

by P Wadler, S Blott
Venue:In Conference record of POPL ’89: the 16th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages