{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T16:52:35Z","timestamp":1791219155663,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540578871","type":"print"},{"value":"9783540483830","type":"electronic"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57887-0_101","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:37:29Z","timestamp":1330263449000},"page":"296-320","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":34,"title":["A theory of primitive objects"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Abadi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"15_CR1","unstructured":"[Abadi 1994] M. Abadi, Baby Modula-3 and a theory of objects. Journal of Functional Programming (to appear)."},{"key":"15_CR2","unstructured":"[Abadi, Cardelli 1994] M. Abadi and L. Cardelli. A theory of primitive objects: second-order systems. Proc. ESOP'94 \u2014 European Symposium on Programming. Springer-Verlag."},{"key":"15_CR3","unstructured":"[Abadi, Cardelli 199X] M. Abadi and L. Cardelli, A theory of primitive objects. To appear."},{"issue":"2","key":"15_CR4","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"[Abadi, et al. 1991] M. Abadi, L. Cardelli, B. Pierce, and G.D. Plotkin, Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems 13(2), 237\u2013268.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR5","unstructured":"[Amadio, Cardelli 1991] R.M. Amadio and L. Cardelli. Subtyping recursive types. Proc. 18th Annual ACM Symposium on Principles of Programming Languages."},{"key":"15_CR6","unstructured":"[Barendregt 1985] H.P. Barendregt, The lambda-calculus, its syntax and semantics. North-Holland."},{"key":"15_CR7","unstructured":"[Bruce 1993] K.B. Bruce. A paradigmatic object-oriented programming language: design, static typing, and semantics. Technical Report No. CS-92-01, revised. Williams College."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"[Cardelli 1988] L. Cardelli, A semantics of multiple inheritance. Information and Computation 76, 138\u2013164.","DOI":"10.1016\/0890-5401(88)90007-7"},{"key":"15_CR9","unstructured":"[Cardelli 1991] L. Cardelli. Extensible records in a pure calculus of subtyping. Technical Report n.81. DEC Systems Research Center."},{"issue":"1","key":"15_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1017\/S0960129500000049","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"[Cardelli, Mitchell 1991] L. Cardelli and J.C. Mitchell, Operations on records. Mathematical Structures in Computer Science 1(1), 3\u201348.","journal-title":"Mathematical Structures in Computer Science"},{"key":"15_CR11","unstructured":"[Cook, Hill, Canning 1990] W. Cook, W. Hill, and P. Canning. Inheritance is not subtyping. Proc. Seventeenth Annual ACM Symposium on Principles of Programming Languages."},{"key":"15_CR12","unstructured":"[Cook 1989] W.R. Cook. A denotational semantics of inheritance. Ph.D. Thesis, Computer Science Dept., Brown University."},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O. Dahl","year":"1966","unstructured":"[Dahl, Nygaard 1966] O. Dahl and K. Nygaard, Simula, an Algol-based simulation language. Communications of the ACM 9, 671\u2013678.","journal-title":"Communications of the ACM"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"[Kamin 1988] S. Kamin. Inheritance in Smalltalk-80: a denotational definition. Proc. 15th Annual ACM Symposium on Principles of Programming Languages.","DOI":"10.1145\/73560.73567"},{"key":"15_CR15","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0019-9958(86)80019-5","volume":"71","author":"D.B. MacQueen","year":"1986","unstructured":"[MacQueen, Plotkin, Sethi 1986] D.B. MacQueen, G.D. Plotkin, and R. Sethi, An ideal model for recursive polymorphic types. Information and Control 71, 95\u2013130.","journal-title":"Information and Control"},{"key":"15_CR16","unstructured":"[Mitchell, Honsell, Fisher 1993] J.C. Mitchell, F. Honsell, and K. Fisher. A lambda calculus of objects and method specialization. Proc. 8th Annual IEEE Symposium on Logic in Computer Science."},{"key":"15_CR17","unstructured":"[Nelson 1991] G. Nelson, ed. Systems programming with Modula-3. Prentice Hall."},{"key":"15_CR18","unstructured":"[Pierce, Turner 1994] B.C. Pierce and D.N. Turner, Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming (to appear)."},{"key":"15_CR19","unstructured":"[Wand 1987] M. Wand. Complete type inference for simple objects. Proc. 2nd Annual IEEE Symposium on Logic in Computer Science."}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57887-0_101","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:16:25Z","timestamp":1742595385000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57887-0_101"}},"subtitle":["Untyped and first-order systems"],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578871","9783540483830"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-57887-0_101","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}