Typed dynamic control operators for delimited continuations (2008)

by Yukiyoshi Kameyama, Takuo Yonezawa
Venue:In Proc. FLOPS’08