Article,

Proof by Semantic Attributes of a Lisp Compiler

.
The Computer Journal, 22 (3): 240--245 (August 1979)

Meta data

Tags

Users

  • @dparigot

Comments and Reviews