Typing control operators in the CPS hierarchy.

Malgorzata Biernacka, Dariusz Biernacki, Sergue Lenglet

Browse the full PPDP paper archive.