Typed Dynamic Control Operators for Delimited Continuations (2008)
| Venue: | FLOPS ’08: Proceedings of 9th International Symposium on Functional and Logic Programming |
| Citations: | 3 - 2 self |
BibTeX
@INPROCEEDINGS{Kameyama08typeddynamic,
author = {Yukiyoshi Kameyama and Takuo Yonezawa},
title = {Typed Dynamic Control Operators for Delimited Continuations},
booktitle = {FLOPS ’08: Proceedings of 9th International Symposium on Functional and Logic Programming},
year = {2008}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. We study the dynamic control operators for delimited continuations, control and prompt. Based on recent developments on purely functional CPS translations for them, we introduce a polymorphically typed calculus for these control operators which allows answer-type modification. We show that our calculus enjoys type soundness and is compatible with the CPS translation. We also show that the typed dynamic control operators can macro-express the typed static ones (shift and reset), while the converse direction is not possible, which exhibits a sharp contrast with the type-free case.
