An imperative object calculus
- 1 January 1995
- book chapter
- Published by Springer Nature
- Vol. 1 (3) , 469-485
- https://doi.org/10.1007/3-540-59293-8_214
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- A semantics of object typesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- 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
- A theory of primitive objectsPublished by Springer Nature ,1994
- Subtyping recursive typesACM Transactions on Programming Languages and Systems, 1993
- Operations on recordsMathematical Structures in Computer Science, 1991
- A modest model of records, inheritance, and bounded quantificationInformation and Computation, 1990
- A Proposal for Making Eiffel Type-safeThe Computer Journal, 1989