Context-based proofs of termination for typed delimited-control operators.

Malgorzata Biernacka, Dariusz Biernacki

Browse the full PPDP paper archive.