2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.PL2023
Type System for Four Delimited Control Operators
Chiaki Ishio, Kenichi Asai
The operational behavior of control operators has been studied comprehensively in the past few decades, but type systems of control operators have not. There are distinct type syst…
cs.PL2021★ 2 cited
A Functional Abstraction of Typed Invocation Contexts
Youyou Cong, Chiaki Ishio, Kaho Honda +1
In their paper "A Functional Abstraction of Typed Contexts", Danvy and Filinski show how to derive a monomorphic type system of the shift and reset operators from a CPS semantics.…