William D. Clinger
The Scheme 311 Compiler: An Exercise in Denotational Semantics
LISP, 1984.
@inproceedings{LFP-1984-Clinger, author = "William D. Clinger", booktitle = "{Proceedings of the 1984 ACM Conference on LISP and Functional Programming}", pages = "356--None", title = "{The Scheme 311 Compiler: An Exercise in Denotational Semantics}", year = 1984, }