A Type System for Dynamic Delimited Continuations
-
- Yonezawa Takuo
- Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba
-
- Kameyama Yukiyoshi
- Department of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba
抄録
We study the control operators “control” and “prompt” which manage part of continuations, that is, delimited continuations. They are similar to the well-known control operators“shift” and “reset”, but differ in that the former is dynamic, while the latter is static. In this paper, we introduce a static type system for “control”and “prompt” which does not use recursive types. We design our type system based on the dynamic CPS transformation recently proposed by Biernacki, Danvy and Millikin. We also introduce let-polymorphism into our type system, and show that our type system satisfies several important properties such as strong type soundness.
収録刊行物
-
- Information and Media Technologies
-
Information and Media Technologies 3 (2), 316-326, 2008
Information and Media Technologies 編集運営会議
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282680241626496
-
- NII論文ID
- 130000058186
-
- ISSN
- 18810896
-
- 本文言語コード
- en
-
- データソース種別
-
- JaLC
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可