{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T22:23:29Z","timestamp":1779315809610,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540133469","type":"print"},{"value":"9783540388913","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1984]]},"DOI":"10.1007\/3-540-13346-1_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:04:58Z","timestamp":1330193098000},"page":"51-67","source":"Crossref","is-referenced-by-count":187,"title":["A semantics of multiple inheritance"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"2_CR1","unstructured":"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."},{"key":"2_CR2","unstructured":"A.Albano, L.Cardelli, R.Orsini: \"Galileo: a strongly typed, interactive conceptual language\", Bell Labs Technical Memorandum TM 83-11271-2."},{"key":"2_CR3","unstructured":"G.Attardi, M.Simi: \"Semantics of inheritance and attributions in the description system Omega\", M.I.T. A.I. Memo 642, August 81."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O. Dahl","year":"1966","unstructured":"O. Dahl, K. Nygaard: \"Simula, an Algol-based simulation language\", Comm. ACM, Vol 9, pp. 671\u2013678, 1966.","journal-title":"Comm. ACM"},{"key":"2_CR5","unstructured":"P.Deutsch: \"An efficient implementation of Smalltalk-80\", Proc. Popl 84."},{"key":"2_CR6","volume-title":"Second International Logic Programming Conference","author":"J.A. Goguen","year":"1984","unstructured":"J.A. Goguen, J. Meseguer: \"Equality, types, modules and generics for logic programming\", Second International Logic Programming Conference, Uppsala University, Sweden, July 1984."},{"key":"2_CR7","unstructured":"A.Goldberg, D.Robson: \"Smalltalk-80. The language and its implementation\", Addison-Wesley, 1983."},{"key":"2_CR8","unstructured":"N.McCracken: \"The typechecking of programs with implicit type structure\", this conference."},{"key":"2_CR9","unstructured":"D.B.MacQueen, R.Seti, G.D.Plotkin: \"An ideal model for recursive polymorphic types\", Proc. Popl 84."},{"key":"2_CR10","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R.Milner","year":"1978","unstructured":"R.Milner: \"A theory of type polymorphism in programming\", Journal of Computer and System Science 17, pp. 348\u2013375, 1978.","journal-title":"Journal of Computer and System Science"},{"key":"2_CR11","unstructured":"J.C.Mitchell: \"Coercion and type inference\", Proc. Popl 84."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.7146\/dpb.v12i156.7430"},{"key":"2_CR13","unstructured":"J.Fairbairn: \"Ponder and its type system\", Technical report No 31, Nov 82, University of Cambridge, Computer Laboratory."},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"J.C.Reynolds: \"Towards a theory of type structure\", in \"Colloquium sur la programmation\" pp. 408\u2013423, Springer-Verlag Lecture Notes in Computer Science, n.19, 1974.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"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\u2013258, Springer-Verlag 1980.","DOI":"10.1007\/3-540-10250-7_24"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"L.Morris, J.Schwarz: \"Computing cyclic list structures\", Conference Record of the 1980 Lisp Conference, pp.144\u2013153.","DOI":"10.1145\/800087.802800"},{"key":"2_CR17","unstructured":"L.Steels: \"Orbit: an applicative view of object-oriented programming\", in: Integrated Interactive Computing Systems, pp. 193\u2013205, P.Degano and E.Sandewall editors, North-Holland 1983."},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"D.Weinreb, D.Moon: \"Lisp machine manual\", Fourth Edition, Chapter 20: \"Objects, Message Passing, and Flavors\", Symbolics Inc., 1981.","DOI":"10.1145\/1056737.1056738"}],"container-title":["Lecture Notes in Computer Science","Semantics of Data Types"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-13346-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:07:24Z","timestamp":1605643644000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-13346-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1984]]},"ISBN":["9783540133469","9783540388913"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-13346-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1984]]}}}