Preview
Unable to display preview. Download preview PDF.
References
H.Ait-Kaci: "Outline of a calculus of type subsumptions", Technical report MS-CIS-83-34, Dept of Computer and Information Science, The Moore School of Electrical Engineering, University of Pennsylvania, August 1983.
A.Albano, L.Cardelli, R.Orsini: "Galileo: a strongly typed, interactive conceptual language", Bell Labs Technical Memorandum TM 83-11271-2.
G.Attardi, M.Simi: "Semantics of inheritance and attributions in the description system Omega", M.I.T. A.I. Memo 642, August 81.
O. Dahl, K. Nygaard: "Simula, an Algol-based simulation language", Comm. ACM, Vol 9, pp. 671–678, 1966.
P.Deutsch: "An efficient implementation of Smalltalk-80", Proc. Popl 84.
J.A. Goguen, J. Meseguer: "Equality, types, modules and generics for logic programming", Second International Logic Programming Conference, Uppsala University, Sweden, July 1984.
A.Goldberg, D.Robson: "Smalltalk-80. The language and its implementation", Addison-Wesley, 1983.
N.McCracken: "The typechecking of programs with implicit type structure", this conference.
D.B.MacQueen, R.Seti, G.D.Plotkin: "An ideal model for recursive polymorphic types", Proc. Popl 84.
R.Milner: "A theory of type polymorphism in programming", Journal of Computer and System Science 17, pp. 348–375, 1978.
J.C.Mitchell: "Coercion and type inference", Proc. Popl 84.
F.J.Oles: "Type algebras, functor categories, and block structure", to appear in "Algebraic semantics", M.Nivat and J.C.Reynolds ed., Cambridge University Press 1984.
J.Fairbairn: "Ponder and its type system", Technical report No 31, Nov 82, University of Cambridge, Computer Laboratory.
J.C.Reynolds: "Towards a theory of type structure", in "Colloquium sur la programmation" pp. 408–423, Springer-Verlag Lecture Notes in Computer Science, n.19, 1974.
J.C.Reynolds: "Using category theory to design implicit type conversions and generic operators", in "Semantics-directed compiler generation", Lecture Notes in Computer Science 94, pp. 211–258, Springer-Verlag 1980.
L.Morris, J.Schwarz: "Computing cyclic list structures", Conference Record of the 1980 Lisp Conference, pp.144–153.
L.Steels: "Orbit: an applicative view of object-oriented programming", in: Integrated Interactive Computing Systems, pp. 193–205, P.Degano and E.Sandewall editors, North-Holland 1983.
D.Weinreb, D.Moon: "Lisp machine manual", Fourth Edition, Chapter 20: "Objects, Message Passing, and Flavors", Symbolics Inc., 1981.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cardelli, L. (1984). A semantics of multiple inheritance. In: Kahn, G., MacQueen, D.B., Plotkin, G. (eds) Semantics of Data Types. SDT 1984. Lecture Notes in Computer Science, vol 173. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-13346-1_2
Download citation
DOI: https://doi.org/10.1007/3-540-13346-1_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13346-9
Online ISBN: 978-3-540-38891-3
eBook Packages: Springer Book Archive