Delimiting the scope of e ects (1993)

by J G Riecke
Venue:In Proc. Conf. on Functional Programming and Computer Architecture