Type checking and inference for polymorphic and existential types in multiple-quantifier and type-free systems. Chicago Journal of Theoretical Computer Science

Type checking and inference for polymorphic and existential types in multiple-quantifier and type-free systems. Chicago Journal of Theoretical Computer Science
复制标题

多量词和无类型系统中多态和存在类型的类型检查和推断。

DOI：
--
复制
发表时间：
2010
期刊：
Special Issue : Selected papers from 2009 Computing : The Australasian Theory Symposium(CATS2009)
影响因子：
--
通讯作者：
Koji Nakazawa and Makoto Tatsuta
Koji Nakazawa and Makoto Tatsuta
中科院分区：
--
文献类型：
--
作者：
Walter Didimo;Michael Kaufmann;Giuseppe Liotta;Yoshio Okamoto;and Andreas Spillner;Koji Nakazawa and Makoto Tatsuta

文献摘要

相似文献