Paper on Typing Delimited Control Operators

The following paper has been accepted to FSCD 2021.

  • Youyou Cong, Chiaki Ishio, Kaho Honda, and Kenichi Asai.
    A Functional Abstraction on Typed Invocation Contexts.

2021-07-20.
→
←