The essence of functional programming. Pages 1–14 of: Conference record of the nineteenth annual ACM symposium on principles of programming languages (1992)

by Philip Wadler