The semantic elegance of applicative languages (1981)

by David A Turner
Venue:In FPCA ’81: Proceedings of the 1981 conference on Functional programming languages and computer architecture