A semantics of multiple inheritance

Ait-Kaci, 1983

Albano, 1985, Galileo: A strongly typed, interactive conceptual language, IEEE Trans. Database Systems, 10.1145/3857.3859

Attardi, 1981, Semantics of Inheritance and Attributions in the Description System Omega

Bobrow, 1983

Cardelli, 1985, On understanding types, data abstraction and polymorphism, Comput. Surveys, 17, 471, 10.1145/6041.6042

Cardelli, 1986, Amber, Vol. 242, 21

Dahl, 1966, Simula, an Algol-based simulation language, Comm. ACM, 9, 671, 10.1145/365813.365819

Deutsch, 1984, An efficient implementation of Smalltalk-80

Futatsugi, 1985, Principles of OBJ2

Goldberg, 1983

Hullot, 1983

McCracken, 1984, The typechecking of programs with implicit type structure, Vol. 173

MacQueen, 1986, An ideal model for recursive polymorphic types, Inform. and Control, 71, 95, 10.1016/S0019-9958(86)80019-5

Milner, 1978, A theory of type polymorphism in programming, J. Comput. System Sci., 17, 348, 10.1016/0022-0000(78)90014-4

Morris, 1980, Computing Cyclic List Structures, 144

Oles, 1984, Type algebras, functor categories, and block structure

Reynolds, 1974, Towards a theory of type structure, Vol. 19, 408

Reynolds, 1980, Using category theory to design implicit type conversions and generic operators, Vol. 94, 211

Steels, 1983, Orbit: An applicative view of object-oriented programming, 193

Weinreb, 1981, Objects, message passing, and flavors