Type System for Four Delimited Control Operators.

Chiaki Ishio, Kenichi Asai

Browse the full GPCE paper archive.