@inproceedings{biernacka:hal-00903834, TITLE = {{Typing control operators in the CPS hierarchy}}, AUTHOR = {Biernacka, Malgorzata and Biernacki, Dariusz and Lenglet, Sergue{\"i}}, URL = {https://inria.hal.science/hal-00903834}, BOOKTITLE = {{PPDP - Principles and Practice of Declarative Programming}}, ADDRESS = {Odense, Denmark}, PUBLISHER = {{ACM New York}}, SERIES = {Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming}, PAGES = {149-160}, YEAR = {2011}, MONTH = Jul, DOI = {10.1145/2003476.2003498}, PDF = {https://inria.hal.science/hal-00903834/file/hierarchy.pdf}, HAL_ID = {hal-00903834}, HAL_VERSION = {v1}, }