Kazuki Ikemori

According to our database, Kazuki Ikemori authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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