Variant parametric types: A flexible subtyping scheme for generics
Variant parametric types: A flexible subtyping scheme for generics
复制标题
变体参数类型：泛型的灵活子类型方案
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Atsushi Igarashi and Mirko Viroli
中科院分区：
文献类型：
--
作者：
中村一博;高木一義;高木直史;Naofumi Homma;Atsushi Igarashi and Mirko Viroli
登录
查看更多内容
DOI：
10.1145/378795.378797
发表时间：
2001-05
期刊：
--
影响因子：
--
作者：
A. Kennedy;Don Syme
通讯作者：
A. Kennedy;Don Syme
统一通用性 - 结合虚拟类型和参数化类的优点
DOI：
10.1007/3-540-48743-3_9
发表时间：
1999
期刊：
Proc. IEEE
影响因子：
--
作者：
Kresten Krab Thorup;Mads Torgersen
通讯作者：
Mads Torgersen
DOI：
10.1145/28697.28738
发表时间：
1986
期刊：
--
影响因子：
--
作者：
B. Meyer
通讯作者：
B. Meyer
归纳构造微积分中的构造函数子类型
DOI：
10.1007/3-540-46432-8_2
发表时间：
2000
期刊：
--
影响因子：
--
作者：
G. Barthe;F. Raamsdonk
通讯作者：
F. Raamsdonk
具有继承和子类型的并行面向对象语言
DOI：
10.1145/97945.97966
发表时间：
1990
期刊：
--
影响因子：
--
作者：
P. America;F. V. D. Linden
通讯作者：
F. V. D. Linden