Model-Checking Higher-Order Functions
-
- 小林 直樹
- 東北大学
書誌事項
- タイトル
- Model-Checking Higher-Order Functions
- 著者
- Naoki Kobayashi
収録刊行物
-
- Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming(PPDP'09)
-
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming(PPDP'09) 25-36, 2009