Untyped Recursion Schemes and Infinite Intersection Types
Untyped Recursion Schemes and Infinite Intersection Types
复制标题
无类型递归方案和无限交集类型
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Naoki Kobayashi
中科院分区：
文献类型：
--
作者：
Takeshi Tsukada;Naoki Kobayashi
登录
查看更多内容
DOI：
--
发表时间：
2009
期刊：
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)
影响因子：
--
作者：
Naoki Kobayashi;Types and Higher-Order
通讯作者：
Types and Higher-Order
DOI：
10.1109/lics.2009.29
发表时间：
2009-08
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
N. Kobayashi;C. Ong
通讯作者：
N. Kobayashi;C. Ong
DOI：
10.1007/3-540-45413-6_21
发表时间：
2001
期刊：
Ann. Pure Appl. Log.
影响因子：
--
作者：
Teodor Knapik;D. Niwinski;P. Urzyczyn
通讯作者：
P. Urzyczyn
DOI：
--
发表时间：
2009
期刊：
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming(PPDP'09)
影响因子：
--
作者：
Naoki Kobayashi;C.-H. Luke Ong;Naoki Kobayashi
通讯作者：
Naoki Kobayashi
具有多态递归的 2 阶交集类型的可打字性
DOI：
10.1109/lics.2006.41
发表时间：
2006
期刊：
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
影响因子：
--
作者：
Tachio Terauchi;A. Aiken
通讯作者：
A. Aiken