The essence of functional programming. Proc. principles of programming languages (1992)

by Philip Wadler