Towards compatible and interderivable semantic specifications for the Scheme programming language, Part II: Reduction semantics and abstract machines (2008)

by Małgorzata Biernacka, Olivier Danvy
Venue:Proceedings of the 2008 ACM SIGPLAN Workshop on Scheme and Functional Programming