{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:16Z","timestamp":1762458496292,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630890"},{"type":"electronic","value":"9783540691273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0053376","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:12:53Z","timestamp":1149653573000},"page":"104-127","source":"Crossref","is-referenced-by-count":42,"title":["Subtyping is not a good \u201cmatch\u201d for object-oriented languages"],"prefix":"10.1007","author":[{"given":"Kim B.","family":"Bruce","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leaf","family":"Petersen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adrian","family":"Fiech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Luca Cardelli. On subtyping and matching. In Proceedings ECOOP '95, pages 145\u2013167, 1995.","DOI":"10.1007\/3-540-49538-X_8"},{"key":"5_CR2","unstructured":"Ken Arnold and James Gosling. Java. Addison Wesley, 1996."},{"issue":"10","key":"5_CR3","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1145\/97946.97966","volume":"25","author":"P. America","year":"1990","unstructured":"Pierre America and Prank van der Linden. A parallel object-oriented language with inheritance and subtyping. In OOPSLA-ECOOP '90 Proceedings, pages 161\u2013168. ACM SIGPLAN Notices,25(10), October 1990.","journal-title":"ACM SIGPLAN Notices"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object-Oriented Systems, 1996. to appear.","DOI":"10.1002\/j.1096-9942.1995.tb00019.x"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"K. Bruce. Safe type checking in a statically typed object-oriented programming language. In Proc. ACM Symp. on Principles of Programming Languages, pages 285\u2013298, 1993.","DOI":"10.1145\/158511.158650"},{"issue":"2","key":"5_CR6","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"4","author":"K. Bruce","year":"1994","unstructured":"K. Bruce. A paradigmatic object-oriented programming language: design, static typing and semantics. Journal of Functional Programming, 4(2):127\u2013206, 1994. An earlier version of this paper appeared in the 1993 POPL Proceedings.","journal-title":"Journal of Functional Programming"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Kim B. Bruce, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language, extended abstract. In ECOOP '95, pages 27\u201351. LNCS 952, Springer-Verlag, 1995.","DOI":"10.1007\/3-540-49538-X_3"},{"key":"5_CR8","unstructured":"L. Cardelli, J. Donahue, L. Galssman, M. Jordan, B. Kalsow, and G. Nelson. Modula-3 report. Technical Report SRC-31, DEC systems Research Center, 1988."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"William R. Cook, Walter L. Hill, and Peter S. Canning. Inheritance is not subtyping. In Proc. 17th ACM Symp. on Principles of Programming Languages, pages 125\u2013135, January 1990.","DOI":"10.1145\/96709.96721"},{"issue":"4","key":"5_CR10","doi-asserted-by":"publisher","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_CR11","unstructured":"Mark Day, Robert Gruber, Barbara Liskov, and Andrew C. Meyers. Abstraction mechanisms in Theta. Technical report, MIT Laboratory for Computer Science, 1994."},{"key":"5_CR12","unstructured":"Margaret A. Ellis and Bjarne Stroustrop. The annotated C++ reference manual. Addison-Wesley, 1990."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Andreas Gawecki and Florian Matthes. Integrating subtyping, matching and type quantification: A practical perspective. In ECOOP '96, pages 26\u201347. LNCS 1098, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0053055"},{"key":"5_CR14","unstructured":"Intermetrics. Ada 95 Reference Manual, version 6.0. 1995."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Mark P. Jones. Using parameterized signatures to express modular structure. In 23rd ACM Symp. Principles of Programming Languages, pages 68\u201378, 1996.","DOI":"10.1145\/237721.237731"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Dinesh Katiyar, David Luckham, and John Mitchell. A type system for prototyping languages. In 21st ACM Symp. Principles of Programming Languages, pages 138\u2013150, 1994.","DOI":"10.1145\/174675.177838"},{"key":"5_CR17","first-page":"138","volume-title":"A type system for prototyping languages","author":"D. Katiyar","year":"1994","unstructured":"Dinesh Katiyar, David Luckham, and John Mitchell. A type system for prototyping languages. In Conference Record of POPL '94: 21st ACM SIGPLAN-SIGACT Symposium of Principles of Programming Languages, Portland, Oregon, pages 138\u2013150. Association for Computing Machinery, January 1994."},{"key":"5_CR18","unstructured":"Wilf LaLonde and John Pugh. Subclassing \u228b subtyping \u228b is-a. Journal of Object-Oriented Programming, pages 57\u201362, January 1991."},{"key":"5_CR19","unstructured":"B. Meyer. Eiffel: the language. Prentice-Hall, 1992."},{"issue":"10","key":"5_CR20","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1145\/97946.97964","volume":"25","author":"O. Madsen","year":"1990","unstructured":"O. Madsen, B. Magnusson, and B. Moller-Pedersen. Strong typing of object-oriented languages revisited. In OOPSLA-ECOOP '90 Proceedings, pages 140\u2013150. ACM SIGPLAN Notices,25(10), October 1990.","journal-title":"ACM SIGPLAN Notices"},{"issue":"3","key":"5_CR21","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"J.C. Mitchell and G.D. Plotkin. Abstract types have existential types. ACM Trans, on Programming Languages and Systems, 10(3):470\u2013502, 1988. Preliminary version appeared in Proc. 12th ACM Symp. on Principles of Programming Languages, 1985.","journal-title":"ACM Trans, on Programming Languages and Systems"},{"key":"5_CR22","unstructured":"Leaf Petersen. A module system for LOOM. Williams College Senior Honors Thesis, 1996."},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce. Bounded quantification is undecidable. In Proc 19th ACM Symp. Principles of Programming Languages, pages 305\u2013315, 1992.","DOI":"10.1145\/143165.143228"},{"key":"5_CR24","unstructured":"Benjamin C. Pierce and David N. Turner. Statically typed friendly functions via partially abstract types. Technical Report ECS-LFCS-93-256, University of Edinburgh, 1993."},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proc. 1st ACM Symp. on Object-Oriented Programming Systems, Languages, and Applications, pages 38\u201346, October 1986.","DOI":"10.1145\/28697.28702"},{"key":"5_CR26","unstructured":"L. Tesler. Object Pascal report. Technical Report 1, Apple Computer, 1985."}],"container-title":["Lecture Notes in Computer Science","ECOOP'97 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053376","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:01:50Z","timestamp":1736406110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053376"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630890","9783540691273"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/bfb0053376","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}