Delimiting the Scope of Effects

  title={Delimiting the Scope of Effects},
  author={Jon G. Riecke},
Program fragments in functional languages may beob servationally congruent in a language without effects (continuations, state, exceptions) but notin anextension with effects. We give a generic way to preserve pure functional congruences by means of an eflects delimiter. The effects delimiter is defined semantically using the retraction techniques of [14], but can also be given an operational semantics. We show that the effects delimiter restores observational congruences between purely… CONTINUE READING