Indiana University Bloomington

School of Informatics and Computing

Technical Report TR218:
A Reduction Semantics for Imperative Higher-Order Languages

M. Felleisen and D. P. Friedman
(Mar 1987)
[Proceedings of the Conf. on Parallel Architectures & Languages Europe, June 1987, 206--223]
Abstract:
The abstact is not available. Please see the full paper.

Available as: