Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet
Typing control operators in the CPS hierarchy
PPDP, 2011.
@inproceedings{PPDP-2011-BiernackaBL,
author = "Malgorzata Biernacka and Dariusz Biernacki and Sergueï Lenglet",
booktitle = "{Proceedings of the 13th International Conference on Principles and Practice of Declarative Programming}",
doi = "10.1145/2003476.2003498",
isbn = "978-1-4503-0776-5",
pages = "149--160",
publisher = "{ACM}",
title = "{Typing control operators in the CPS hierarchy}",
year = 2011,
}
Tags: