Sharing Continuations: Proofnets for Languages With Explicit Control

by Julia L. Lawall , Harry G. Mairson
Citations:3 - 2 self