A semantics of multiple inheritance

Information and Computation

Volumn 76, Issue 2-3, 1988, Pages 138-164

  Cardelli, Luca ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EXPRESSIONS; MULTIPLE INHERITANCE; OBJECT-ORIENTED LANGUAGES; SEMANTICS; TYPES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0023961010     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1016/0890-5401(88)90007-7     Document Type: Article

References (20)

1. Galileo: A strongly typed, interactive conceptual language
2. On understanding types, data abstraction and polymorphism
3. Amber
4. Simula an Algol-based simulation language
5. An efficient implementation of Smalltalk-80
6. Principles of OBJ2
7. The typechecking of programs with implicit type structure
8. An ideal model for recursive polymorphic types
9. A theory of type polymorphism in programming
10. Computing Cyclic List Structures
11. Type algebras, functor categories, and block structure
12. Towards a theory of type structure
13. Using category theory to design implicit type conversions and generic operators
14. Orbit: An applicative view of object-oriented programming
15. Objects, message passing, and flavors