The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects.

Luc Moreau Daniel Ribbens The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects. 53-77 1995 conf/psls/1995 PSLS db/conf/psls/psls1995.html#MoreauR95