Sharing Continuations: Proofnets for Languages With Explicit Control (2000)

by Julia L. Lawall , Harry G. Mairson
Venue:In ESOP'2000, volume 1782. LNCS
Citations:3 - 2 self