{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T00:23:06Z","timestamp":1791073386053,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705918","type":"print"},{"value":"9783540705925","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70592-5_12","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"260-284","source":"Crossref","is-referenced-by-count":24,"title":["Integrating Nominal and Structural Subtyping"],"prefix":"10.1007","author":[{"given":"Donna","family":"Malayeri","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Bono, V., Damiani, F., Giachino, E.: Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In: Electronic proceedings of FTfJP (2007), http:\/\/www.cs.ru.nl\/ftfjp\/"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Bracha, G., Cook, W.: Mixin-based inheritance. In: ECOOP 1990(1990)","DOI":"10.1145\/97945.97982"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Bracha, G., Griswold, D.: Strongtalk: typechecking Smalltalk in a production environment. In: OOPSLA 1993, pp. 215\u2013230 (1993)","DOI":"10.1145\/165854.165893"},{"issue":"2","key":"12_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1145\/641888.641891","volume":"25","author":"K.B. Bruce","year":"2003","unstructured":"Bruce, K.B., Schuett, A., Gent, R.V., Fiech, A.: PolyTOIL: A type-safe polymorphic object-oriented language. ACM Trans. Program. Lang. Syst.\u00a025(2), 225\u2013290 (2003)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"1","key":"12_CR5","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1006\/inco.1995.1033","volume":"117","author":"G. Castagna","year":"1995","unstructured":"Castagna, G., Ghelli, G., Longo, G.: A calculus for overloaded functions with subtyping. Inf. Comput.\u00a0117(1), 115\u2013135 (1995)","journal-title":"Inf. Comput."},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053029","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"C. Chambers","year":"1992","unstructured":"Chambers, C.: Object-oriented multi-methods in Cecil. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol.\u00a0615. Springer, Heidelberg (1992)"},{"key":"12_CR7","unstructured":"Chambers, C.: Cecil\u00a0Group. The Cecil language: specification and rationale, version 3.2 (February 2004), http:\/\/www.cs.washington.edu\/research\/projects\/cecil\/"},{"issue":"3","key":"12_CR8","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1145\/1133651.1133655","volume":"28","author":"C. Clifton","year":"2006","unstructured":"Clifton, C., Millstein, T., Leavens, G.T., Chambers, C.: MultiJava: Design rationale, compiler implementation, and applications. ACM Trans. Program. Lang. Syst.\u00a028(3), 517\u2013575 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Davies, R., Pfenning, F.: Intersection types and computational effects. In: ICFP 2000, pp. 198\u2013208 (2000)","DOI":"10.1145\/351240.351259"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Fisher, K., Reppy, J.: The design of a class mechanism for Moby. In: PLDI 1999, pp. 37\u201349 (1999)","DOI":"10.1145\/301618.301638"},{"issue":"1","key":"12_CR11","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1006\/inco.2002.3169","volume":"177","author":"K. Fisher","year":"2002","unstructured":"Fisher, K., Reppy, J.: Inheritance-based subtyping. Inf. Comput.\u00a0177(1), 28\u201355 (2002)","journal-title":"Inf. Comput."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Gil, J., Maman, I.: Whiteoak (2008), http:\/\/ssdl-wiki.cs.technion.ac.il\/wiki\/index.php\/Whiteoak","DOI":"10.1145\/1449764.1449771"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/1167473.1167499","volume-title":"Proceedings of OOPSLA 2006","author":"D. Gregor","year":"2006","unstructured":"Gregor, D., J\u00e4rvi, J., Siek, J., Stroustrup, B., Reis, G.D., Lumsdaine, A.: Concepts: Linguistic support for generic programming in C++. In: Proceedings of OOPSLA 2006, October 2006, pp. 291\u2013310. ACM Press, New York (2006)"},{"key":"12_CR14","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system, release 3.09 (2004), http:\/\/caml.inria.fr\/pub\/docs\/manual-ocaml\/index.html"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Madsen, O.L., Moller-Pedersen, B.: Virtual classes: a powerful mechanism in object-oriented programming. In: OOPSLA 1989, pp. 397\u2013406 (1989)","DOI":"10.1145\/74877.74919"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Malayeri, D., Aldrich, J.: Combining structural subtyping and external dispatch. In: FOOL\/WOOD 2007 (January 2007), http:\/\/foolwood07.cs.uchicago.edu\/program.html","DOI":"10.1145\/1297846.1297961"},{"key":"12_CR17","unstructured":"Malayeri, D., Aldrich, J.: Integrating Nominal and Structural Subtyping. Technical Report CMU-CS-08-120, School of Computer Science, Carnegie Mellon University (May 2008)"},{"key":"12_CR18","unstructured":"Sun Microsystems. Java collections API design FAQ (2003), http:\/\/java.sun.com\/j2se\/1.4.2\/docs\/guide\/collections\/designfaq.html"},{"issue":"1","key":"12_CR19","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1006\/inco.2002.3103","volume":"175","author":"T.D. Millstein","year":"2002","unstructured":"Millstein, T.D., Chambers, C.: Modular statically typed multimethods. Inf. Comput.\u00a0175(1), 76\u2013118 (2002)","journal-title":"Inf. Comput."},{"key":"12_CR20","volume-title":"Systems programming with Modula-3","year":"1991","unstructured":"Nelson, G. (ed.): Systems programming with Modula-3. Prentice-Hall, Inc., Upper Saddle River (1991)"},{"key":"12_CR21","doi-asserted-by":"crossref","unstructured":"Nystrom, N., Chong, S., Myers, A.C.: Scalable extensibility via nested inheritance. In: OOPSLA 2004, pp. 99\u2013115 (2004)","DOI":"10.1145\/1028976.1028986"},{"key":"12_CR22","unstructured":"Odersky, M.: The Scala language specification (2007), http:\/\/www.scala-lang.org\/docu\/files\/ScalaReference.pdf"},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"Ostermann, K.: Nominal and Structural Subtyping in Component-Based Programming. Journal of Object Technology\u00a07(1) (2008)","DOI":"10.5381\/jot.2008.7.1.a4"},{"key":"12_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_18","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"J. Reppy","year":"2007","unstructured":"Reppy, J., Turon, A.: Metaprogramming with traits. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609. Springer, Heidelberg (2007)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"N. Sch\u00e4rli","year":"2003","unstructured":"Sch\u00e4rli, N., Ducasse, S., Nierstrasz, O., Black, A.: Traits: Composable units of behavior. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2008 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70592-5_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:08:22Z","timestamp":1605762502000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70592-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705918","9783540705925"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70592-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}