Kazuki Ikemori

According to our database, Kazuki Ikemori authored at least 4 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Students' Understanding of (Delimited) Continuations.

Filip Strömbäck, Youyou Cong, Kazuki Ikemori

Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1, 2026

2023

Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

2022

First-class names for effect handlers.

Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen

Proc. ACM Program. Lang., 2022

Sound and Complete Type Inference for Closed Effect Rows.

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen

Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022