HIGHER-ORDER DATA-TYPES

被引：3

|

作者：

MAIBAUM, TSE ^{[1
]}

LUCENA, CJ ^{[1
]}

机构：

[1] PONTIFICIA UNIV CATOLICA RIO DE JANEIRO,DEPT INFORMAT,RIO DE JANEIRO 2000,RJ,BRAZIL

来源：

INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES | 1980年 / 9卷 / 01期

关键词：

D O I：

10.1007/BF00995808

中图分类号：

G25 [图书馆学、图书馆事业]; G35 [情报学、情报工作];

学科分类号：

1205 ; 120501 ;

摘要：

引用

收藏

页码：31 / 53

页数：23

相关论文

共 50 条

[21] AN ALGEBRAIC SEMANTICS OF HIGHER-ORDER TYPES WITH SUBTYPES
QIAN, ZY
[J]. ACTA INFORMATICA, 1993, 30 (06) : 569 - 607
[22] PARTIAL INTERPRETATIONS OF HIGHER-ORDER ALGEBRAIC TYPES
BROY, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 233 : 29 - 43
[23] Derivation and inference of higher-order strictness types
Smetsers, Sjaak
van Eekelen, Marko
[J]. COMPUTER LANGUAGES SYSTEMS & STRUCTURES, 2015, 44 : 166 - 180
[24] Decidability of higher-order subtyping with intersection types
Compagnoni, AB
[J]. COMPUTER SCIENCE LOGIC, 1995, 933 : 46 - 60
[25] Higher-order unification algorithm for inductive types and dependent types
Qingping, T.
[J]. Journal of Computer Science and Technology, 1997, 12 (03): : 231 - 243
[26] A higher-order unification algorithm for inductive types and dependent types
Qingping Tan
[J]. Journal of Computer Science and Technology, 1997, 12 (3) : 231 - 243
[27] A Higher-Order Unification Algorithm for Inductive Types and Dependent Types
谭庆平
[J]. Journal of Computer Science & Technology, 1997, (03) : 231 - 243
[28] OBSERVING NONDETERMINISTIC DATA-TYPES
NIPKOW, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 : 170 - 183
[29] DATA-TYPES IN DISTRIBUTIVE CATEGORIES
WALTERS, RFC
[J]. BULLETIN OF THE AUSTRALIAN MATHEMATICAL SOCIETY, 1989, 40 (01) : 79 - 82
[30] THE MECHANICAL TRANSFORMATION OF DATA-TYPES
HARRISON, PG
KHOSHNEVISAN, H
[J]. COMPUTER JOURNAL, 1992, 35 (02): : 138 - 147

← 1 2 3 4 5 →