Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators. - Ikuo Kobori; Yukiyoshi Kameyama; Oleg Kiselyov (WoC, 2015)