{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:27Z","timestamp":1725465927837},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614395"},{"type":"electronic","value":"9783540685708"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/bfb0053054","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:07:29Z","timestamp":1149653249000},"page":"3-25","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Type-safe compilation of covariant specialization: A practical case"],"prefix":"10.1007","author":[{"given":"John","family":"Boyland","sequence":"first","affiliation":[]},{"given":"Giuseppe","family":"Castagna","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,21]]},"reference":[{"issue":"2","key":"3_CR1","first-page":"108","volume":"5","author":"E. Amiel","year":"1996","unstructured":"E. Amiel, M.-J. Bellosta, E. Dujardin, and E. Simon. Type-safe relaxing of schema consistency rules for flexible modelling in OODBMS. Very Large Databases Journal, 5(2):108\u2013119, April 1996.","journal-title":"Very Large Databases Journal"},{"issue":"11","key":"3_CR2","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1145\/118014.117963","volume":"26","author":"R. Agrawal","year":"1991","unstructured":"R. Agrawal, L. DeMichiel, and B. Lindsay. Static type checking of multi-methods. ACM SIGPLAN Notices, 26(11):113\u2013128, 1991. Proceedings of OOPSLA'91.","journal-title":"ACM SIGPLAN Notices"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"K. Bruce, L. Cardelli, G. Castagna, The Hopkins Object Group, G. Leavens, and B. Pierce. On binary methods. Theory and Practice of Object Systems, 1(3), 1996.","DOI":"10.1002\/j.1096-9942.1995.tb00019.x"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"F. Bancilhon, C. Delobel, and P. Kanellakis, editors. Implementing an Object-Oriented Database System: The Story of O 2. Morgan Kaufmann, 1992.","DOI":"10.1145\/130283.130289"},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/249094.249111","volume":"31","author":"M. F. Barrett","year":"1996","unstructured":"M. F. Barrett and M. E. Giguere. A note on covariance and contravariance unification. ACM SIGPLAN Notices, 31(1):32\u201335, Jan. 1996.","journal-title":"ACM SIGPLAN Notices"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"A. Black, N. Hutchinson, E. Jul, and H. Levy. Object structure in the Emerald system. In Norman Meyrowitz, editor, OOPSLA '86 Conference Proceedings, volume 21(11) of SIGPLAN Notices, pages 347\u2013349, Nov. 1986.","DOI":"10.1145\/960112.28706"},{"issue":"2","key":"3_CR7","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"4","author":"K.B. Bruce","year":"1994","unstructured":"K.B. Bruce. 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"},{"key":"3_CR8","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. Information and Computation, 76:138\u2013164, 1988. A previous version can be found in Semantics of Data Types, LNCS 173, 51\u201367, Springer-Verlag, 1984.","journal-title":"Information and Computation"},{"issue":"3","key":"3_CR9","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"G. Castagna. Covariance and contravariance: conflict without a cause. ACM Transactions on Programming Languages and Systems, 17(3):431\u2013447, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1016\/0304-3975(95)00071-4","volume":"151","author":"G. Castagna","year":"1995","unstructured":"G. Castagna. A meta-language for typed object-oriented languages. Theoretical Computer Science, 151(2):297\u2013352, Nov. 1995.","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","volume-title":"Progress in Theoretical Computer Science","author":"G. Castagna","year":"1996","unstructured":"G. Castagna. Object-Oriented Programming: A Unified Foundation. Progress in Theoretical Computer Science. Birk\u00e4user, Boston, 1996."},{"issue":"1","key":"3_CR12","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/inco.1995.1033","volume":"117","author":"G. Castagna","year":"1995","unstructured":"G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1):115\u2013135, 1995, A preliminary version was presented at the 1992 ACM Conference on LISP and Functional Programming, San Francisco, June 1992.","journal-title":"Information and Computation"},{"issue":"6","key":"3_CR13","doi-asserted-by":"publisher","first-page":"805","DOI":"10.1145\/218570.218571","volume":"17","author":"C. Chambers","year":"1995","unstructured":"C. Chambers and G. Leavens. Typechecking and modules for multi-methods. ACM Transactions on Programming Languages and Systems, 17(6):805\u2013843, Nov. 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"W. Cook. Object-oriented programming versus abstract data types. In J. W. de Bakker, W. P. de Roever, and G. Rozenberg, editors, Foundations of Object-Oriented Languages, REX School\/Workshop, volume 489 of LNCS, pages 151\u2013178. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0019443"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"L.G. DeMichiel and R.P. Gabriel. Common Lisp Object System overview. In B\u00e9zivin, Hullot, Cointe, and Lieberman, editors, ECOOP '87 Conference Proceedings, volume 276 of LNCS, pages 151\u2013170. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-47891-4_15"},{"key":"3_CR16","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"A. Goldberg","year":"1983","unstructured":"A. Goldberg and D. Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, Mass., 1983."},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"D. H. H. Ingalls. A simple technique for handling multiple polymorphism. In Norman Meyrowitz, editor, OOPSLA '86 Conference Proceedings, volume 21(11) of SIGPLAN Notices, pages 347\u2013349, Nov. 1986.","DOI":"10.1145\/960112.28732"},{"key":"3_CR18","unstructured":"Bertrand Meyer. Eiffel: The Language. Prentice-Hall, 1991."},{"key":"3_CR19","unstructured":"Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, 2nd edition, to appear 1996."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"W. B. Mugridge, J. G. Hosking, and J. Hamer. Multi-methods in a statically-typed programming language. In P. America, editor, ECOOP '91 Conference Proceedings, volume 512 of LNCS, pages 307\u2013324. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057029"}],"container-title":["Lecture Notes in Computer Science","ECOOP \u201996 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053054","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,15]],"date-time":"2020-04-15T09:03:07Z","timestamp":1586941387000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053054"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614395","9783540685708"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0053054","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"21 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}