Object type constructors

Research output: Contribution to journalArticlepeer-review


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 languageEnglish
Pages (from-to)367-408
Number of pages42
JournalActa Informatica
Issue number6
StatePublished - Apr 2002

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Computer Networks and Communications


Dive into the research topics of 'Object type constructors'. Together they form a unique fingerprint.

Cite this