Sound and Complete Type Inference for Closed Effect Rows. - Kazuki Ikemori; Youyou Cong; Hidehiko Masuhara; Daan Leijen (TFP, 2022)

First-class names for effect handlers. - Ningning Xie; Youyou Cong; Kazuki Ikemori; Daan Leijen (Proc. ACM Program. Lang., 2022)

Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators. - Kazuki Ikemori; Youyou Cong; Hidehiko Masuhara (PPDP, 2023)