Isolating Side Effects in Sequential Languages.

Jon G. Riecke, Ramesh Viswanathan

Browse the full POPL paper archive.