Object type constructors

被引：0

作者：

Duggan, D ^{[1
]}

机构：

[1] Stevens Inst Technol, Dept Comp Sci, Hoboken, NJ 07040 USA

来源：

ACTA INFORMATICA | 2002年 / 38卷 / 06期

关键词：

D O I：

10.1007/s002360100076

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Object type constructors are a model for container objects in typed object-oriented programming languages. Object type constructors solve the difficulties with combining container objects with type inference and parametric polymorphism, the latter of which are used very successfully in functional languages such as ML and Haskell. The semantics of object type constructors introduces a new object cloning operation for container objects with method update, motivated by concerns independent of type inference.

引用

页码：367 / 408

页数：42

共 50 条

[41] Global legal issues for engineers and constructors
Yates, J. K.
Smith, Joseph A.
[J]. JOURNAL OF PROFESSIONAL ISSUES IN ENGINEERING EDUCATION AND PRACTICE, 2007, 133 (03) : 199 - 209
[42] Initial semantics in logics with constructors
Japan Advanced Institute of Science and Technology, Japan
[J]. J Logic Comput, 1 (95-116):
[43] Fault Tolerant Network Constructors
Michail, Othon
Spirakis, Paul G.
Theofilatos, Michail
[J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2019, 2019, 11914 : 243 - 255
[44] Lambda-calculus with constructors
Arbiser, Ariel
Miquel, Alexandre
Rios, Alejandro
[J]. TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2006, 4098 : 181 - 196
[45] Marine constructors build workload
[J]. DPC Dredg Port Constr, 6 (10):
[46] C plus plus constructors - Response
Meyers, S
[J]. DR DOBBS JOURNAL, 1997, 22 (08): : 12 - 12
[47] SAFETY CONSIDERATIONS OF PLANT CONSTRUCTORS AND OPERATORS
TROSTER, E
[J]. CHEMIE INGENIEUR TECHNIK, 1982, 54 (08) : 717 - 721
[48] CONSTRUCTORS - MANY APPOINTED, FEW ELECTED
不详
[J]. INTER ELECTRONIQUE, 1972, 27 (37): : 23 - &
[49] Hong Kong's constructors are at risk
Anon
[J]. ENR (Engineering News-Record), 2001, 247 (06):
[50] On the spectral sequence constructors of Guichardet and Stefan
Barnes, DW
[J]. TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2003, 355 (07) : 2755 - 2769

← 1 2 3 4 5 →