2012年
Logical relations for a manifest calculus, fixed
The 1st ACM SIGPLAN Workshop on Higher-Order Programming with Effects
- 記述言語
- 英語
- 掲載種別
- その他
五十嵐 淳
イガラシ アツシ (Atsushi Igarashi)
更新日: 2023/07/21