Reasoning about Continuations with Control Effects.

Pierre Jouvelot, David K. Gifford

Browse the full PLDI paper archive.