Isolating side eects in sequential languages (1995)

by Jon G Riecke
Venue:Pages 1-12 of: the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages