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:
-
