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