Correctness of Monadic State: An Imperative Call-by-Need Calculus (1998)

by Zena M. Ariola, Amr Sabry
Venue:In Proc. 25th ACM Symposium on Principles of Programming Languages