Higher-order subtyping (vol 176, pg 235, 1997)

被引：8

作者：

Pierce, B ^{[1
]}

Steffen, M ^{[1
]}

机构：

[1] UNIV ERLANGEN NURNBERG,IMMD VII,D-91058 ERLANGEN,GERMANY

来源：

THEORETICAL COMPUTER SCIENCE | 1997年 / 184卷 / 1-2期

关键词：

D O I：

10.1016/S0304-3975(97)00112-6

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：247 / 247

页数：1

相关论文

共 1 条

[1] Higher-order subtyping
Pierce, B
Steffen, M
[J]. THEORETICAL COMPUTER SCIENCE, 1997, 176 (1-2) : 235 - 282