TYPE INFERENCE AND TYPE CONTAINMENT

被引：0

|

作者：

MITCHELL, J

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1984年 / 173卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：257 / 277

页数：21

相关论文

共 50 条

[1] POLYMORPHIC TYPE INFERENCE AND CONTAINMENT
MITCHELL, JC
[J]. INFORMATION AND COMPUTATION, 1988, 76 (2-3) : 211 - 249
[2] Simple, partial type-inference for System F based on type-containment
Rémy, D
[J]. ACM SIGPLAN NOTICES, 2005, 40 (09) : 130 - 143
[3] From ML type inference to stratified type inference
Pottier, F
[J]. ACM SIGPLAN NOTICES, 2005, 40 (09) : 1 - 1
[4] TYPED EQUIVALENCE, TYPE ASSIGNMENT, AND TYPE CONTAINMENT
AMADIO, RM
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 372 - 382
[5] On Type Inference in the Intersection Type Discipline
Boudol, Gerard
Zimmer, Pascal
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 136 : 23 - 42
[6] Type inference for pure type systems
Severi, P
[J]. INFORMATION AND COMPUTATION, 1998, 143 (01) : 1 - 23
[7] TYPE INFERENCE IN POLYMORPHIC TYPE DISCIPLINE
GIANNINI, P
DELLAROCCA, S
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 526 : 18 - 37
[8] TYPE INFERENCE IN THE PRESENCE OF TYPE ABSTRACTION
BOEHM, HJ
[J]. SIGPLAN NOTICES, 1989, 24 (07): : 192 - 206
[9] TYPE INFERENCE IN MATHEMATICS
Gurevich, Yuri
Avigad, Jeremy
[J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2012, (106): : 78 - 98
[10] Visual type inference
Erwig, M
[J]. JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2006, 17 (02): : 161 - 186

← 1 2 3 4 5 →