Zena M. Ariola, Hugo Herbelin, Amr Sabry. A proof-theoretic foundation of abortive continuations. Higher-Order and Symbolic Computation, 20(4):403-429, 2007. [doi]
@article{AriolaHS07,
title = {A proof-theoretic foundation of abortive continuations},
author = {Zena M. Ariola and Hugo Herbelin and Amr Sabry},
year = {2007},
doi = {10.1007/s10990-007-9007-z},
url = {http://dx.doi.org/10.1007/s10990-007-9007-z},
researchr = {https://researchr.org/publication/AriolaHS07},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {20},
number = {4},
pages = {403-429},
}