{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:06:33Z","timestamp":1767927993054,"version":"3.49.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":25,"publisher":"Springer-Verlag","isbn-type":[{"value":"0387973753","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0040253","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T17:01:43Z","timestamp":1155834103000},"page":"22-52","source":"Crossref","is-referenced-by-count":13,"title":["Operations on records"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John C.","family":"Mitchell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"V.Breazu-Tannen, T.Coquand, C.Gunter, A.Scedrov: Inheritance and explicit coercion, Proc. of the Fourth Annual Symposium on Logic in Computer Science, 1989.","DOI":"10.1109\/LICS.1989.39166"},{"key":"2_CR2","unstructured":"K.B.Bruce, G.Longo: Modest models for inheritance and explicit polymorphism, Proc. of the Third Annual Symposium on Logic in Computer Science, 1988."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"K.B.Bruce, A.R.Meyer, J,C.Mitchell: The semantics of second order lambda calculus, Information and Computation, 1989 (to appear).","DOI":"10.1016\/0890-5401(90)90044-I"},{"key":"2_CR4","unstructured":"L.Cardelli, J.Donahue, L.Glassman, M.Jordan, B.Kalsow, G.Nelson: Modula-3 report, Research Report n.31, DEC Systems Research Center, Sep. 1988."},{"key":"2_CR5","doi-asserted-by":"publisher","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, in Information and Computation 76, pp 138\u2013164, 1988. (First appeared in Semantics of Data Types, G.Kahn, D.B.MacQueen and G.Plotkin Ed. Lecture Notes in Computer Science n.173, Springer-Verlag 1984.)","journal-title":"Information and Computation"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli, P. Wegner: On understanding types, data abstraction and polymorphism, Computing Surveys, Vol 17 n. 4, pp 471\u2013522, December 1985.","journal-title":"Computing Surveys"},{"key":"2_CR7","unstructured":"P.-L.Curien, G.Ghelli: Coherence of subsumption, to appear."},{"key":"2_CR8","doi-asserted-by":"publisher","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, Communications of the ACM, Vol 9, pp. 671\u2013678, 1966.","journal-title":"Communications of the ACM"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"J-Y.Girard: Une extension de l'interpr\u00e9tation de G\u00f6del \u00e0 l'analyse, et son application \u00e0 l'\u00e9limination des coupures dans l'analyse et la th\u00e9orie des types, Proceedings of the second Scandinavian logic symposium, J.E.Fenstad Ed. pp. 63\u201392, North-Holland, 1971.","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"2_CR10","unstructured":"J-Y.Girard: Interpr\u00e9tation fonctionelle et \u00e9limination des coupures dans l'arithm\u00e9tique d'ordre sup\u00e9rieur, Th\u00e8se de doctorat d'\u00e9tat, University of Paris, 1972."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"L.A.Jategaonkar, J.C.Mitchell: ML with extended pattern matching and subtypes, Proc. of the ACM Conference on Lisp and Functional Programming, pp.198\u2013211, 1988.","DOI":"10.1145\/62678.62702"},{"key":"2_CR12","unstructured":"G.Longo, E.Moggi: Constructive natural deduction and its \u2018\u03c9-set\u2019 interpretation, Report CMU-CS-88-131, CMU, Dept. of Computer Science, 1988."},{"key":"2_CR13","unstructured":"B.Meyer: Object-oriented software construction, Prentice Hall, 1988."},{"key":"2_CR14","doi-asserted-by":"publisher","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_CR15","doi-asserted-by":"crossref","unstructured":"J.C.Mitchell: Coercion and type inference, Proc. of the 11th ACM Symposium on Principles of Programming Languages, pp.175\u2013185, 1984.","DOI":"10.1145\/800017.800529"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"J.C.Mitchell: A type inference approach to reduction properties and semantics of polymorphic expressions, Proc. Symposium on Lisp and Functional Programming, pp.308\u2013319, 1986. (Revised version to appear in Logic Foundations of Functional Programming, ed. G. Huet, Addison-Wesley, 1989.)","DOI":"10.1145\/319838.319872"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"J.C.Mitchell: Type systems for programming languages, in Handbook of Theoretical Computer Science, ed. J. van Leeuwen et al. North Holland, 1990 (to appear).","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"A.Ohori, P.Buneman, V.Breazu-Tannen: Database programming in Machiavelli \u2014 a polymorphic languaage with static type inference, Report MS-CIS-88-103, University of Pennsylvania, Computer and Information Science Dept., 1988.","DOI":"10.1145\/67544.66931"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/62678.62700","volume-title":"Proc. of the ACM Conference on LISP and Functional Programming","author":"A. Ohori","year":"1988","unstructured":"A. Ohori, P. Buneman: Type inference in a database programming language, Proc. of the ACM Conference on LISP and Functional Programming, pp.174\u2013183, Snowbird, Utah, 1988."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"D. R\u00e9my: Typechecking records and variants in a natural extension of ML, Proc. of the 16th ACM Symposium on Principles of Programming Languages, pp.77\u201388, 1989.","DOI":"10.1145\/75277.75284"},{"key":"2_CR21","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_CR22","doi-asserted-by":"crossref","unstructured":"C.Schaffert, T.Cooper, B.Bullis, M.Kilian, C.Wilpolt: An introduction to Trellis\/Owl, Proc. OOPSLA'86.","DOI":"10.1145\/28697.28699"},{"key":"2_CR23","unstructured":"B.Stroustrup: The C++ programming language, Addison-Wesley 1986."},{"key":"2_CR24","unstructured":"M.Wand: Complete Type Inference for Simple Objects, Proc. of the Second Annual Symposium on Logic in Computer Science, June 1987, Cornell University."},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"M.Wand: Type inference for record concatenation and multiple inheritance, Proc. of the Fourth Annual Symposium on Logic in Computer Science, pp. 92\u201397, 1989.","DOI":"10.1109\/LICS.1989.39162"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0040253.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T15:15:10Z","timestamp":1683558910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0040253"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["0387973753"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0040253","relation":{},"subject":[]}}