A Semantics of Multiple Inheritance

[1]  Frank J. Oles,et al.  Type Algebras, Functor Categories, and Block Structure , 1986 .

[2]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[3]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[4]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[5]  Nancy McCracken,et al.  The Typechecking of Programs with Implicit Type Structure , 1984, Semantics of Data Types.

[6]  Gordon D. Plotkin,et al.  An ideal model for recursive polymorphic types , 1984, Inf. Control..

[7]  John C. Mitchell,et al.  Coercion and type inference , 1984, POPL.

[8]  David A. Moon,et al.  The Lisp Machine manual , 1981, SGAR.

[9]  M. Simi,et al.  Semantics of Inheritance and Attributions in the Description System Omega , 1981 .

[10]  L. Morris,et al.  Computing cyclic list structures , 1980, LISP Conference.

[11]  John C. Reynolds,et al.  Using category theory to design implicit conversions and generic operators , 1980, Semantics-Directed Compiler Generation.

[12]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[13]  John C. Reynolds,et al.  Towards a theory of type structure , 1974, Symposium on Programming.

[14]  Kristen Nygaard,et al.  SIMULA: an ALGOL-based simulation language , 1966, CACM.

[15]  José Meseguer,et al.  Equality, Types, Modules and Generics for Logic Programming , 1984, ICLP.

[16]  Hassan Aït-Kasi,et al.  Outline of a Calculus of Type Subsumption , 1983 .

[17]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[18]  J. Fairbairn,et al.  Ponder and its type system , 1982 .

[19]  L. Steels.  ORBIT: An Applicative View of Object-Oriented Programming , 1982, ECICS.