Typed Dynamic Control Operators for Delimited Continuations.

Yukiyoshi Kameyama, Takuo Yonezawa

Browse the full FLOPS paper archive.