{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:54:29Z","timestamp":1725468869645},"publisher-location":"Berlin\/Heidelberg","reference-count":17,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540542620"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0057030","type":"book-chapter","created":{"date-parts":[[2006,8,17]],"date-time":"2006-08-17T18:28:04Z","timestamp":1155839284000},"page":"325-341","source":"Crossref","is-referenced-by-count":1,"title":["What is type-safe code reuse?"],"prefix":"10.1007","author":[{"given":"Jens","family":"Palsberg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael I.","family":"Schwartzbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D. MacQueen, and Gordon Plotkin, editors, Semantics of Data Types, pages 51\u201368. Springer-Verlag (LNCS 173), 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4), December 1985.","DOI":"10.1145\/6041.6042"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"William Cook, Walter Hill, and Peter Canning. Inheritance is not subtyping. In Seventeenth Symposium on Principles of Programming Languages. ACM Press, January 1990.","DOI":"10.1145\/96709.96721"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"William Cook and Jens Palsberg. A denotational semantics of inheritance and its correctness. In Proc. OOPSLA'89, ACM SIGPLAN Fourth Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1989. To appear in Information and Computation.","DOI":"10.1145\/74877.74922"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Scott Danforth and Chris Tomlinson. Type theories and object-oriented programming. ACM Computing Surveys, 20(1), March 1988.","DOI":"10.1145\/62058.62060"},{"key":"19_CR6","unstructured":"A. Goldberg and D. Robson. Smalltalk-80\u2014The Language and its Implementation. Addison-Wesley, 1983."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Justin O. Graver and Ralph E. Johnson. A type system for Smalltalk. In Seventeenth Symposium on Principles of Programming Languages, pages 136\u2013150. ACM Press, January 1990.","DOI":"10.1145\/96709.96722"},{"key":"19_CR8","volume-title":"PhD thesis","author":"J. O. Graver","year":"1989","unstructured":"Justin Owen Graver. Type-Checking and Type-Inference for Object-Oriented Programming Languages. PhD thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, August 1989. UIUCD-R-89-1539."},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"B. B. Kristensen, O. L. Madsen, B. M\u00d8ller-Pedersen, and K. Nygaard. The BETA programming language. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 7\u201348. MIT Press, 1987.","DOI":"10.7146\/dpb.v16i229.7578"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Ole L. Madsen and Birger M\u00d8ller-Pedersen. Virtual classes: A powerful mechanism in object-oriented programming. In Proc. OOPSLA'89, Fourth Annual Conference on Object-Oriented Programming Systems, Languages and Applications. ACM, 1989.","DOI":"10.1145\/74877.74919"},{"key":"19_CR11","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Bertrand Meyer. Object-Oriented Software Construction. Prentice-Hall, Englewood Cliffs, NJ, 1988."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Genericity And Inheritance. Computer Science Department, Aarhus University. PB-318, 1990.","DOI":"10.7146\/dpb.v19i318.6708"},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Type substitution for object-oriented programming. In Proc. OOPSLA\/ECOOP'90, ACM SIGPLAN Fifth Annual Conference on Object-Oriented Programming Systems, Languages and Applications; European Conference on Object-Oriented Programming, 1990.","DOI":"10.1145\/97945.97965"},{"key":"19_CR14","doi-asserted-by":"crossref","unstructured":"Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. In Proc. OOPSLA'91, ACM SIGPLAN Sixth Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1991.","DOI":"10.1145\/117954.117965"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Claus H. Pedersen. Extending ordinary inheritance schemes to include generalization. In Proc. OOPSLA'89, ACM SIGPLAN Fourth Annual Conference on Object-Oriented Programming Systems, Languages and Applications, 1989.","DOI":"10.1145\/74877.74920"},{"key":"19_CR16","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, 1986."},{"key":"19_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96878-5","volume-title":"Programming in Modula-2","author":"N. Wirth","year":"1985","unstructured":"Niklaus Wirth. Programming in Modula-2. Springer-Verlag, New York, 1985."}],"container-title":["Lecture Notes in Computer Science","ECOOP'91 European Conference on Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0057030.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T22:00:41Z","timestamp":1607551241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0057030"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540542620"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0057030","relation":{},"subject":[]}}