Sharing continuations: proofnets for languages with explicit control (2000)

by J L Lawall, H G Mairson
Venue:In ESOP 2000: 9th European Symposium on Programming