Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
-
- 小林 直樹
- 東北大学
書誌事項
- タイトル
- Types and Higher-Order Recursion Schemes for Verification of Higher-Order Programs
- 著者
- Naoki Kobayashi
収録刊行物
-
- Proceedings of the 36^<th> ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)
-
Proceedings of the 36^<th> ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009) 416-428, 2009