Object type constructors

DOI10.1007/S002360100076MaRDI QIDQ1608944zbMATH OpenOpenAlexFDO

Authors Dominic Duggan

Publication date 14 August 2002

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s002360100076

zbMATH Keywords

object-oriented programming languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Recommendations

• An imperative object calculus
• Type inference for record concatenation and subtyping
• Simple type-theoretic foundations for object-oriented programming
• scientific article; zbMATH DE number 4080882
• Type theory and language constructs for objects with states

Cited in

(1)

• Masked types for sound object initialization

This page was built for publication: Object type constructors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1608944)