On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control.

Chuck C. Liang, Dale Miller

Browse the full LPAR paper archive.