Typing control operators in the CPS hierarchy

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet. Typing control operators in the CPS hierarchy. In Peter Schneider-Kamp, Michael Hanus, editors, Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 20-22, 2011, Odense, Denmark. pages 149-160, ACM, 2011. [doi]

Authors

Malgorzata Biernacka

This author has not been identified. Look up 'Malgorzata Biernacka' in Google

Dariusz Biernacki

This author has not been identified. Look up 'Dariusz Biernacki' in Google

Sergueï Lenglet

This author has not been identified. Look up 'Sergueï Lenglet' in Google