The essence of functional programming (1992)

by P Wadler
Venue:In Proceedings of the 19th Annual Symposium on Principles of Programming Languages