A Proof Theoretical Account of Continuation Passing Style.

Ichiro Ogata

Browse the full CSL paper archive.