Kazuki Ikemori

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Genetic Algorithm

Multi Class Classification

Queueing Networks

Manual Labeling

Top Venues

Proc. ACM Program. Lang.

Publications

Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara
Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. PPDP (2023)
Kazuki Ikemori, Youyou Cong, Hidehiko Masuhara, Daan Leijen
Sound and Complete Type Inference for Closed Effect Rows. TFP (2022)
Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen
First-class names for effect handlers. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)