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

  1. 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])