A Dynamic Extent Control Operator for Partial Continuations.

Christian Queinnec, Bernard P. Serpette

Browse the full POPL paper archive.