Back to Results
First PageMeta Content
Logic in computer science / Operational semantics / Lambda calculus / Closure / Combinatory logic / Denotational semantics / Divergence / Rewriting / Algorithm / Semantics / Standard ML


Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines Małgorzata Biernacka Olivier Danvy
Add to Reading List

Document Date: 2015-04-20 13:48:41


Open Document

File Size: 108,30 KB

Share Result on Facebook