限定継続命令に関する PEPM ’21 論文
以下の論文が The Workshop on Partial Evaluation and Program Manipulation に採択されました。
- Kenichi Asai, Youyou Cong, and Chiaki Ishio
A Functional Abstraction of Typed Trails
以下の論文が The Workshop on Partial Evaluation and Program Manipulation に採択されました。