Verifying Selective CPS Transformation for Shift and Reset. - Chiaki Ishio; Kenichi Asai (TFP, 2019)

A Functional Abstraction of Typed Invocation Contexts. - Youyou Cong; Chiaki Ishio; Kaho Honda; Kenichi Asai (FSCD, 2021)

Type System for Four Delimited Control Operators. - Chiaki Ishio; Kenichi Asai (GPCE, 2022)