Document Versions

Reasoning about Continuations with Control Effects –Pierre Jouvelot, David K. Gifford — 1989