Ikuo Kobori (小堀 育男)
Contents
Profile
Affiliation
A past master program student at
Programming Logic Group, Depertment of Computer Science, Graduate School of Systems and Information Engineering, University of Tsukuba.
E-mail: ikuologic.cs.tsukuba.ac.jp
Education
Certification
Publications
- Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov. Answer-Type Modification without Tears: Prompt-Passing Style Translation for Typed Delimited-Control Operators. In: Proceedings of the Workshop on Continuations (WoC 2015), Electronic Proceedings in Theoretical Computer Science 212, pp. 36–52. [link]
(Pre-proceedings version: ATM without Tears: Prompt-Passing Style Transformation for Typed Delimited-Control Operators. In 2015 Workshop on Continuations: pre-proceedings. [link])