Article on Control Operators

The following article has been accepted for publication in the LMCS journal.

  • Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai.  A Functional Abstraction of Typed Invocation Contexts.  Logical Methods in Computer Science (LMCS) Special Issue on Selected Papers of the 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021).

Prof. Khatchadourian’s Visit

Professor Raffi Khatchadourian at CUNY Hunter College visited our group from August 10 to 24. He gave a seminar talk and had discussions with our members.

This visit was supported by the JSPS BRIDGE fellowship, and originally planned two years ago. We had to postpone the visit (actually three times) due to COVID-19, but are pleased to make it happen.

talk at the hybrid seminar

Papers on Algebraic Effects (@ TFP 2022)

The following papers have been accepted to appear in the post-proceedings of TFP 2022.

*Microsoft Research, USA