Correctness of monadic state: An imperative callby-need calculus (1998)

by Z Ariola, A Sabry
Venue:In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’98