The Scheme 311 Compiler: An Exercise in Denotational Semantics (1984)

by W Clinger
Venue:Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming