The Scheme 311 Compiler: An Exercise in Denotational Semantics

William D. Clinger. The Scheme 311 Compiler: An Exercise in Denotational Semantics. In Proceedings of the ACM Symposium on LISP and Functional Programming. LFP '84, pages 356, Association for Computing Machinery, New York, NY, USA, 1984.

@inproceedings{Clinger84,
  title = {The Scheme 311 Compiler: An Exercise in Denotational Semantics},
  author = {William D. Clinger},
  year = {1984},
  tags = {semantics, denotational semantics, compiler},
  researchr = {https://researchr.org/publication/Clinger84},
  cites = {0},
  citedby = {0},
  pages = {356},
  booktitle = {Proceedings of the ACM Symposium on LISP and Functional Programming},
  series = {LFP '84},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
}