Delimiting the scope of effects (1993)

by J G Riecke
Venue:In Proc. ACM Symposium on Functional Programming and Computer Architectures