{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:49Z","timestamp":1725562549759},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_3","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T19:50:55Z","timestamp":1281297055000},"page":"23-38","source":"Crossref","is-referenced-by-count":4,"title":["A Typeful Approach to Object-Oriented Programming with Multiple Inheritance"],"prefix":"10.1007","author":[{"given":"Chiyan","family":"Chen","sequence":"first","affiliation":[]},{"given":"Rui","family":"Shi","sequence":"additional","affiliation":[]},{"given":"Hongwei","family":"Xi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1006\/inco.1999.2829","volume":"155","author":"K.B. Bruce","year":"1999","unstructured":"Bruce, K.B., Cardelli, L., Pierce, B.: Comparing Object Encodings. Information and Computation\u00a0155, 108\u2013133 (1999)","journal-title":"Information and Computation"},{"key":"3_CR2","volume-title":"Foundations of Object-Oriented Languages","author":"K.B. Bruce","year":"2002","unstructured":"Bruce, K.B.: Foundations of Object-Oriented Languages, pp. xx+384. The MIT Press, Cambridge (2002)"},{"issue":"2-3","key":"3_CR3","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L.: A semantics of multiple inheritance. Information and Computation\u00a076(2-3), 138\u2013164 (1988)","journal-title":"Information and Computation"},{"issue":"5","key":"3_CR4","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1017\/S0960129500070043","volume":"6","author":"A.B. Compagnoni","year":"1996","unstructured":"Compagnoni, A.B., Pierce, B.C.: Higher-Order Intersection Types and Multiple Inheritance. Mathematical Structures in Computer Science\u00a06(5), 469\u2013501 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"3_CR5","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"A. Goldenberg","year":"1983","unstructured":"Goldenberg, A., Robson, D.: Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading (1983)"},{"issue":"2","key":"3_CR6","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"C.V. Hall","year":"1996","unstructured":"Hall, C.V., Hammond, K., Jones, S.L.P., Wadler, P.L.: Type Classes in Haskell. ACM Transactions on Programming Languages and Systems\u00a018(2), 109\u2013138 (1996)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Hinze, R.: A New Approach to Generic Functional Programming. In: Proceedings of 27th Annual ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2000), Boston, pp. 119\u2013132(2000)","DOI":"10.1145\/325694.325709"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Jansson, P., Jeuring, J.: PolyP - Polytypic programming language extension. In: Proceedings of 24th ACM Symposium on Principles of Programming Languages (POPL 1997), Paris, France, pp. 470\u2013482 (1997)","DOI":"10.1145\/263699.263763"},{"key":"3_CR9","unstructured":"Liu, C.: Smalltalk, Objects, and Design, pp. x+289. Manning Publications Co., Greenwich (1996) ISBN 1-884777-27-9 (hc)."},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R.W., MacQueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997) (revised)ISBN 0-262-63181-4"},{"key":"3_CR11","unstructured":"Jones, S.P., et al.: Haskell 98 \u2013 A non-strict, purely functional language (February 1999), Available at http:\/\/www.haskell.org\/onlinereport\/"},{"key":"3_CR12","unstructured":"Shi, R., Xi, H.: Some Examples of Structuring Libraries with Parametrized Classes (February 2004), Available at http:\/\/www.cs.bu.edu\/~hwxi\/ATS\/lib"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Wand, M.: Type Inference for Record Concatenation and Multiple Inheritance. In: Proceedings of Fourth IEEE Symposium on Logic in Computer Science, Pacific Grove, California, pp. 92\u201397 (1989)","DOI":"10.1109\/LICS.1989.39162"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Xi, H., Chen, C., Chen, G.: Guarded Recursive Datatype Constructors. In: Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, January 2003, pp. 224\u2013235 (2003)","DOI":"10.1145\/604131.604150"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Xi, H.: Unifying Object-Oriented Programming with Typed Functional Programming. In: Proceedings of ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (ASIA-PEPM 2002), Aizu-Wakamatsu, Japan, September 2002, pp. 117\u2013125 (2002)","DOI":"10.1145\/568173.568186"},{"key":"3_CR16","unstructured":"Xi, H.: Applied Type System (July 2003), Available at http:\/\/www.cs.bu.edu\/~hwxi\/ATS"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1007\/978-3-540-24849-1_25","volume-title":"Types for Proofs and Programs","author":"H. Xi","year":"2004","unstructured":"Xi, H.: Applied Type System (extended abstract). In: Berardi, S., Coppo, M., Damiani, F. (eds.) TYPES 2003. LNCS, vol.\u00a03085, pp. 394\u2013408. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:56:43Z","timestamp":1605761803000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}