Sciweavers

Share
FLOPS
2008
Springer

Typed Dynamic Control Operators for Delimited Continuations

9 years 3 months ago
Typed Dynamic Control Operators for Delimited Continuations
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.
Yukiyoshi Kameyama, Takuo Yonezawa
Added 26 Oct 2010
Updated 26 Oct 2010
Type Conference
Year 2008
Where FLOPS
Authors Yukiyoshi Kameyama, Takuo Yonezawa
Comments (0)
books