Programming Language Semantics and Closed Applicative Languages.

John W. Backus

Browse the full POPL paper archive.