Object type constructors

Dominic Duggan

doi:10.1007/s002360100076

Object type constructors

Dominic Duggan

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

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.

Original language	English
Pages (from-to)	367-408
Number of pages	42
Journal	Acta Informatica
Volume	38
Issue number	6
DOIs	https://doi.org/10.1007/s002360100076
State	Published - Apr 2002

Access to Document

10.1007/s002360100076

Cite this

@article{0af13aae1c324892aa1bb83840c40b62,

title = "Object type constructors",

abstract = "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.",

author = "Dominic Duggan",

year = "2002",

month = apr,

doi = "10.1007/s002360100076",

language = "English",

volume = "38",

pages = "367--408",

number = "6",

}

TY - JOUR

T1 - Object type constructors

AU - Duggan, Dominic

PY - 2002/4

Y1 - 2002/4

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33747885660&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33747885660&partnerID=8YFLogxK

U2 - 10.1007/s002360100076

DO - 10.1007/s002360100076

M3 - Article

AN - SCOPUS:33747885660

SN - 0001-5903

VL - 38

SP - 367

EP - 408

JO - Acta Informatica

JF - Acta Informatica

IS - 6

ER -

Object type constructors

Abstract

Access to Document

Other files and links

Fingerprint

Cite this