Alexis Saurin
A Hierarchy for Delimited Continuations in Call-by-Name
FoSSaCS, 2010.
@inproceedings{FoSSaCS-2010-Saurin, author = "Alexis Saurin", booktitle = "{Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/978-3-642-12032-9_26", isbn = "978-3-642-12031-2", pages = "374--388", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{A Hierarchy for Delimited Continuations in Call-by-Name}", volume = 6014, year = 2010, }