Chiaki Ishio

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 6

Top Topics

Control Structures

Service Discovery

Top Venues

Publications

Chiaki Ishio, Kenichi Asai
Type System for Four Delimited Control Operators. CoRR (2023)
Chiaki Ishio, Kenichi Asai
Type System for Four Delimited Control Operators. GPCE (2022)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. Log. Methods Comput. Sci. 18 (3) (2022)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. CoRR (2021)
Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
A Functional Abstraction of Typed Invocation Contexts. FSCD (2021)
Chiaki Ishio, Kenichi Asai
Verifying Selective CPS Transformation for Shift and Reset. TFP (2019)