Indiana University Bloomington

School of Informatics and Computing

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: