A Unified Type System for Object-Oriented Programming
DOI:
https://doi.org/10.7146/dpb.v19i341.6571Abstract
We present a new type system for object-oriented languages with assignments. Types are sets of classes, subtyping is set inclusion, and genericity is class substitution. The type system enables separate compilation, and unifies, generalizes, and simplifies the type systems underlying SIMULA/BETA, C++, EIFFEL, and Typed Smalltalk, and the type system with type substitutions proposed by Palsberg and Schwartzbach, Classes and types are both modeled as node-labeled, ordered regular trees; this allows an efficient type-checking algorithm.Downloads
Published
1990-12-01
How to Cite
Palsberg, J., & Schwartzbach, M. I. (1990). A Unified Type System for Object-Oriented Programming. DAIMI Report Series, 19(341). https://doi.org/10.7146/dpb.v19i341.6571
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.