Pierre Jouvelot, David K. Gifford
Reasoning about Continuations with Control Effects
PLDI, 1989.
@inproceedings{PLDI-1989-JouvelotG, author = "Pierre Jouvelot and David K. Gifford", booktitle = "{Proceedings of the 10th Conference on Programming Language Design and Implementation}", doi = "10.1145/73141.74837", editor = "Richard L. Wexelblat", isbn = "0-89791-306-X", pages = "218--226", publisher = "{ACM}", title = "{Reasoning about Continuations with Control Effects}", year = 1989, }