Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

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]
The abstact is not available. Please see the full paper.

Available as: