@Inproceedings{EPTCS212.3, author = {Kobori, Ikuo and Kameyama, Yukiyoshi and Kiselyov, Oleg}, year = {2016}, title = {Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators}, editor = {Danvy, Olivier and de'Liguoro, Ugo}, booktitle = {{\rm Proceedings of the} Workshop on Continuations, {\rm London, UK, April 12th 2015}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {212}, publisher = {Open Publishing Association}, pages = {36-52}, doi = {10.4204/EPTCS.212.3}, }