Technical Report TR202:
Matthias Felleisen and Daniel P. Friedman
A Calculus for Assignments in Higher-Order Languages
[Conf. record of the 14th Annual ACM Sym. on Principles of Programming Languages, Munich, W. Germany (January, 1987), 314--345]
The abstact is not available. Please see the full paper.
- Available as: