Follow
Chiaki Ishio
Title
Cited by
Cited by
Year
Type System for Four Delimited Control Operators
C Ishio, K Asai
Proceedings of the 21st ACM SIGPLAN International Conference on Generative …, 2022
32022
A functional abstraction of typed invocation contexts
Y Cong, C Ishio, K Honda, K Asai
Logical Methods in Computer Science 18, 2022
32022
A functional abstraction of typed trails
K Asai, Y Cong, C Ishio
Short paper presented at the ACM SIGPLAN Workshop on Partial Evaluation and …, 2021
12021
Verifying selective cps transformation for shift and reset
C Ishio, K Asai
International Symposium on Trends in Functional Programming, 38-57, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–4