The Essence of Functional Programming (1992)

by Philip Wadler
Venue:In Symposium on Principles of Programming Languages (POPL’92