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,
}











