A Calculus for Assignments in Higher-Order Languages.

Matthias Felleisen, Daniel P. Friedman

Browse the full POPL paper archive.