Matthias Felleisen, Daniel P. Friedman. A Calculus for Assignments in Higher-Order Languages. In POPL. pages 314-325, 1987.
@inproceedings{FelleisenF87:0, title = {A Calculus for Assignments in Higher-Order Languages}, author = {Matthias Felleisen and Daniel P. Friedman}, year = {1987}, researchr = {https://researchr.org/publication/FelleisenF87%3A0}, cites = {0}, citedby = {0}, pages = {314-325}, booktitle = {POPL}, }