{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T19:10:09Z","timestamp":1736536209035,"version":"3.32.0"},"publisher-location":"New York, NY","reference-count":7,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9780387976280"},{"type":"electronic","value":"9780387348155"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0038516","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T09:59:13Z","timestamp":1153994353000},"page":"364-370","source":"Crossref","is-referenced-by-count":0,"title":["A functional language with classes"],"prefix":"10.1007","author":[{"given":"Mike","family":"Beaven","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Stansifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dan","family":"Wetklow","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,14]]},"reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Michael Beaven, Ryan Stansifer, and Dan Wetklow. A functional language with classes. Technical Report CSD-TR-946, Purdue University, 1990.","DOI":"10.1007\/BFb0038516"},{"key":"52_CR2","first-page":"51","volume":"173","author":"C. Luca","year":"1984","unstructured":"Luca Cardelli. A semantics of multiple inheritance. In Proc. Int. Symp. on Semantics of Data Types, Sophia-Antipolis(France), Springer LNCS 173, pages 51\u201368, 1984.","journal-title":"Proc. Int. Symp. on Semantics of Data Types, Sophia-Antipolis(France), Springer LNCS"},{"key":"52_CR3","unstructured":"D. Clement, J. Despeyroux, T. Despeyroux, and G. Kahn. A simple applicative language: Mini-ML. In Conf. Proc. 1986 ACM Symposium on LISP and Functional Programming, pages 13\u201327, 1986."},{"key":"52_CR4","doi-asserted-by":"crossref","unstructured":"Luis Damas and Robin Milner. Principal type-schemes for functional programs. In Conference Records of the Ninth Annual ACM Symposium of Principals of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Robin Milner. Proposal for standard ML. In Conf. Proc. 1984 ACM Symposium on LISP and Functional Programming, pages 184\u2013197, 1984.","DOI":"10.1145\/800055.802035"},{"key":"52_CR6","doi-asserted-by":"crossref","unstructured":"Didier Remy. Typechecking records and variants in a natural extenstion of ML. In Conference Records of the 16th Annual ACM Symposium of Principals of Programming Languages, pages 77\u201388, 1989.","DOI":"10.1145\/75277.75284"},{"key":"52_CR7","doi-asserted-by":"crossref","unstructured":"Mitchell Wand. Type inference for record concatenation and multiple inheritance. In Proc. Fourth IEEE Symposium on Logic in Computer Science, pages 92\u201397, 1989.","DOI":"10.1109\/LICS.1989.39162"}],"container-title":["Lecture Notes in Computer Science","Computing in the 90's"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0038516","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T03:21:51Z","timestamp":1736479311000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0038516"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9780387976280","9780387348155"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/bfb0038516","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}