Yukiyoshi Kameyama, Takuo Yonezawa. Typed Dynamic Control Operators for Delimited Continuations. In Jacques Garrigue, Manuel V. Hermenegildo, editors, Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Volume 4989 of Lecture Notes in Computer Science, pages 239-254, Springer, 2008. [doi]
Abstract is missing.