The Essence of Functional (1992)

by P Wadler
Venue:Programming, 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages