{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:40:03Z","timestamp":1736109603299,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018345","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"75-81","source":"Crossref","is-referenced-by-count":6,"title":["Operations on records"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]},{"given":"John C.","family":"Mitchell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138\u2013164, 1988. Special issue devoted to Symp. on Semantics of Data Types, Sophia-Antipolis (France), 1984.","journal-title":"Information and Computation"},{"issue":"4","key":"5_CR2","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"Computing Surveys"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"L. Jategaonkar and J.C. Mitchell. ML with extended pattern matching and subtypes. In Proc. ACM Symp. Lisp and Functional Programming Languages, pages 198\u2013212, July 1988.","DOI":"10.1145\/62678.62702"},{"key":"5_CR4","first-page":"348","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. A theory of type polymorphism in programming. JCSS, 17:348\u2013375, 1978.","journal-title":"JCSS"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell. Coercion and type inference (summary). In Proc. 11-th ACM Symp. on Principles of Programming Languages, pages 175\u2013185, January 1984.","DOI":"10.1145\/800017.800529"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"A. Ohori and P. Buneman. Type inference in a database language. In Proc. ACM Symp. Lisp and Functional Programming Languages, pages 174\u2013183, July 1988.","DOI":"10.1145\/62678.62700"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"D. R\u00e9my. Typechecking records and variants in a natural extension of ML. In 16-th ACM Symposium on Principles of Programming Languages, pages 60\u201376, 1989.","DOI":"10.1145\/75277.75284"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"M. Wand. Complete type inference for simple objects. In Proc. 2-nd IEEE Symp. on Logic in Computer Science, pages 37\u201344, 1987. Corrigendum in Proc. 3-rd IEEE Symp. on Logic in Computer Science, page 132, 1988.","DOI":"10.1109\/LICS.1988.5111"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"M. Wand. Type inference for record concatenation and simple objects. In Proc. 4-nd IEEE Symp. on Logic in Computer Science, pages 92\u201397, 1989.","DOI":"10.1109\/LICS.1989.39162"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018345.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T20:08:15Z","timestamp":1736107695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0018345","relation":{},"subject":[]}}