Delimiting the Scope of Effects (1993)

by Jon G. Riecke
Venue:In Proceedings of the Conference on Functional Programming Languages and Computer Architecture