Chiaki Ishio

According to our database¹, Chiaki Ishio authored at least 3 papers between 2019 and 2022.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2022

Type System for Four Delimited Control Operators.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021

A Functional Abstraction of Typed Invocation Contexts.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2019

Verifying Selective CPS Transformation for Shift and Reset.

[BibT_eX]

[DOI]

Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019