Sharing Continuations: Proofnets for Languages with Explicit Control.

Julia L. Lawall, Harry G. Mairson

Browse the full ESOP paper archive.