Chiaki Ishio

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Type System for Four Delimited Control Operators.
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022

2021
A Functional Abstraction of Typed Invocation Contexts.
Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2019
Verifying Selective CPS Transformation for Shift and Reset.
Proceedings of the Trends in Functional Programming - 20th International Symposium, 2019


  Loading...