A Curry-Howard Foundation for Functional Computation with Control.

C.-H. Luke Ong, Charles A. Stewart

Browse the full POPL paper archive.