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

by PL Wadler, S Blott
Venue:in Proc 16th ACM Symposium on Principles of Programming Languages,