Typed Dynamic Control Operators for Delimited Continuations. - Yukiyoshi Kameyama; Takuo Yonezawa (FLOPS, 2008)

A Type System for Dynamic Delimited Continuations. - Takuo Yonezawa; Yukiyoshi Kameyama (Inf. Media Technol., 2008)