Isolating Side Effects in Sequential Languages (1995)

by Jon G. Riecke, Ramesh Viswanathan
Venue:In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’95