An Imperative Object Calculus
- 1 January 1995
- journal article
- research article
- Published by Wiley in Theory and Practice of Object Systems
- Vol. 1 (3) , 151-166
- https://doi.org/10.1002/j.1096-9942.1995.tb00016.x
Abstract
We develop an imperative calculus of objects. Its main type constructor is the one for object types, which incorporate variance annotations and Self types. A subtyping relation between object types supports object subsumption. The type system for objects relies on unusual but beneficial assumptions about the possible subtypes of an object type. With the addition of polymorphism, the calculus can express classes and inheritance.Keywords
This publication has 22 references indexed in Scilit:
- A semantics of object typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A language with distributed scopePublished by Association for Computing Machinery (ACM) ,1995
- A paradigmatic object-oriented programming language: Design, static typing and semanticsJournal of Functional Programming, 1994
- Baby Modula-3 and a theory of objectsJournal of Functional Programming, 1994
- An Extension of System F with SubtypingInformation and Computation, 1994
- A theory of primitive objectsPublished by Springer Nature ,1994
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Parents are shared parts of objects: Inheritance and encapsulation in SELFHigher-Order and Symbolic Computation, 1991
- Operations on recordsMathematical Structures in Computer Science, 1991
- A modest model of records, inheritance, and bounded quantificationInformation and Computation, 1990