A Functional Abstraction of Typed Invocation Contexts
オープンアクセス
-
- 叢 悠悠
- 東京工業大学
書誌事項
- タイトル
- A Functional Abstraction of Typed Invocation Contexts
- 著者
- Youyou Cong, Chiaki Ishio, Kaho Honda, Kenichi Asai
収録刊行物
-
- Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021)
-
Proceedings of 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) LIPICS Vol. 195 2021