Applicative style programming, program transformation, and list operators (1981)

by Philip Wadler
Venue:Conference on Functional Programming and Computer Architecture