限定継続命令の型付けに関する論文

以下の論文が FSCD 2021 に採択されました。

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