{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T12:22:19Z","timestamp":1742386939170},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540592938"},{"type":"electronic","value":"9783540492337"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59293-8_214","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:12:10Z","timestamp":1330276330000},"page":"469-485","source":"Crossref","is-referenced-by-count":16,"title":["An imperative object calculus"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Abadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"2","key":"31_CR1","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1017\/S0956796800001052","volume":"4","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Baby Modula-3 and a theory of objects. Journal of Functional Programming 4(2), 249\u2013283. 1994.","journal-title":"Journal of Functional Programming"},{"key":"31_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Cardelli, A semantics of object types. Proc. IEEE Symposium on Logic in Computer Science, 332\u2013341. 1994.","DOI":"10.1109\/LICS.1994.316056"},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Cardelli, A theory of primitive objects: second-order systems. Proc. ESOP'94 \u2014 European Symposium on Programming. Springer-Verlag. 1994.","DOI":"10.1007\/3-540-57880-3_1"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Cardelli, A theory of primitive objects: untyped and first-order systems. Proc. Theoretical Aspects of Computer Software. Springer-Verlag. 1994.","DOI":"10.1007\/3-540-57887-0_101"},{"key":"31_CR5","volume-title":"Proc. Second ACM SIGPLAN Workshop on State in Programming Languages, 19\u201332. Technical Report UIUCDCS-R-95-1900","author":"M. Abadi","year":"1995","unstructured":"Abadi, M. and L. Cardelli, An imperative object calculus: basic typing and soundness. Proc. Second ACM SIGPLAN Workshop on State in Programming Languages, 19\u201332. Technical Report UIUCDCS-R-95-1900, University of Illinois at Urbana Champaign. 1995."},{"issue":"4","key":"31_CR6","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M. and L. Cardelli, Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4), 575\u2013631. 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"31_CR7","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"4","author":"K.B. Bruce","year":"1994","unstructured":"Bruce, K.B., A paradigmatic object-oriented programming language: design, static typing and semantics. Journal of Functional Programming 4(2), 127\u2013206. 1994.","journal-title":"Journal of Functional Programming"},{"issue":"1\/2","key":"31_CR8","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1016\/0890-5401(90)90062-M","volume":"87","author":"K.B. Bruce","year":"1990","unstructured":"Bruce, K.B. and G. Longo, A modest model of records, inheritance and bounded quantification. Information and Computation 87(1\/2), 196\u2013240. 1990.","journal-title":"Information and Computation"},{"key":"31_CR9","unstructured":"Bruce, K.B., A. Schuett, and R. van Gent, Poly TOIL: a type-safe polymorphic object-oriented language. Williams College. 1994."},{"key":"31_CR10","unstructured":"Cardelli, L., Extensible records in a pure calculus of subtyping. In Theoretical Aspects of Object-Oriented Programming, C.A. Gunter and J.C. Mitchell, ed. MIT Press. 373\u2013425. 1994."},{"issue":"1","key":"31_CR11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1017\/S0960129500000049","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Cardelli, L. and J.C. Mitchell, Operations on records. Mathematical Structures in Computer Science 1(1), 3\u201348. 1991.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1\u20132","key":"31_CR12","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1006\/inco.1994.1013","volume":"109","author":"L. Cardelli","year":"1994","unstructured":"Cardelli, L., J.C. Mitchell, S. Martini, and A. Scedrov, An extension of system F with subtyping. Information and Computation 109(1\u20132), 4\u201356. 1994.","journal-title":"Information and Computation"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Cook, W.R., A proposal for making Eiffel type-safe. Proc. European Conference of Object-Oriented Programming, 57\u201372. 1989.","DOI":"10.1093\/comjnl\/32.4.305"},{"key":"31_CR14","doi-asserted-by":"crossref","unstructured":"Eifrig, J., S. Smith, V. Trifonov, and A. Zwarico, An interpretation of typed OOP in a language with state. Lisp and Symbolic Computation, (to appear). 1995.","DOI":"10.1007\/BF01018829"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Harper, R., A simplified account of polymorphic references. Information Processing Letters 51(4). 1994.","DOI":"10.1016\/0020-0190(94)90120-1"},{"key":"31_CR16","doi-asserted-by":"crossref","unstructured":"Harper, R. and B. Pierce, A record calculus based on symmetric concatenation. Proc. 18th Annual ACM Symposium on Principles of Programming Languages. 1991.","DOI":"10.1145\/99583.99603"},{"key":"31_CR17","unstructured":"Leroy, X., Polymorphic typing of an algorithmic language. Rapport de Recherche no.1778 (Ph.D Thesis). INRIA. 1992."},{"key":"31_CR18","unstructured":"Meyer, B., Object-oriented software construction. Prentice Hall. 1988."},{"key":"31_CR19","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C., F. Honsell, and K. Fisher, A lambda calculus of objects and method specialization. Proc. 8th Annual IEEE Symposium on Logic in Computer Science. 1993.","DOI":"10.1109\/LICS.1993.287603"},{"issue":"2","key":"31_CR20","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B.C. Pierce","year":"1994","unstructured":"Pierce, B.C. and D.N. Turner, Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming 4(2), 207\u2013247. 1994.","journal-title":"Journal of Functional Programming"},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"R\u00e9my, D., Typechecking records and variants in a natural extension of ML. Proc. 16th Annual ACM Symposium on Principles of Programming Languages, 77\u201388. 1989.","DOI":"10.1145\/75277.75284"},{"key":"31_CR22","unstructured":"Szypersky, C., S. Omohundro, and S. Murer, Engineering a programming language: the type and class system of Sather. TR-93-064. ICSI, Berkeley. 1993."},{"key":"31_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M. Tofte","year":"1990","unstructured":"Tofte, M., Type inference for polymorphic references. Information and Computation 89, 1\u201334. 1990.","journal-title":"Information and Computation"},{"key":"31_CR24","doi-asserted-by":"crossref","unstructured":"Wand, M., Type inference for record concatenation and multiple inheritance. Proc. 4th Annual IEEE Symposium on Logic in Computer Science, 92\u201397. 1989.","DOI":"10.1109\/LICS.1989.39162"},{"issue":"1","key":"31_CR25","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K. and M. Felleisen, A syntactic approach to type soundness. Information and Computation 115(1), 38\u201394. 1994.","journal-title":"Information and Computation"},{"key":"31_CR26","doi-asserted-by":"crossref","unstructured":"Yonezawa, A. and M. Tokoro, ed. Object-oriented concurrent programming. MIT Press. 1987.","DOI":"10.1145\/28697.28722"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '95: Theory and Practice of Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59293-8_214.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:27:03Z","timestamp":1619573223000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59293-8_214"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540592938","9783540492337"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-59293-8_214","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}