The essence of functional programming. Conference record of the 19th annual ACM symposium on principles of programming languages (1992)

by P L Wadler