{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:35Z","timestamp":1772163995789,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,22]]},"DOI":"10.1145\/2048066.2048140","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"973-992","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance"],"prefix":"10.1145","author":[{"given":"Eric","family":"Allen","sequence":"first","affiliation":[{"name":"Oracle Labs, Austin, TX, USA"}]},{"given":"Justin","family":"Hilburn","sequence":"additional","affiliation":[{"name":"Oracle Labs, Burlington, MA, USA"}]},{"given":"Scott","family":"Kilpatrick","sequence":"additional","affiliation":[{"name":"University of Texas at Austin, Austin, TX, USA"}]},{"given":"Victor","family":"Luchangco","sequence":"additional","affiliation":[{"name":"Oracle Labs, Burlington, MA, USA"}]},{"given":"Sukyoung","family":"Ryu","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, South Korea"}]},{"given":"David","family":"Chase","sequence":"additional","affiliation":[{"name":"Oracle Labs, Burlington, MA, USA"}]},{"given":"Guy","family":"Steele","sequence":"additional","affiliation":[{"name":"Oracle Labs, Burlington, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"March","author":"Allen Eric","year":"2008","unstructured":"Eric Allen , David Chase , Joe Hallett , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L. Steele Jr ., and Sam Tobin-Hochstadt . The Fortress Language Specification Version 1.0 , March 2008 . Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., and Sam Tobin-Hochstadt. The Fortress Language Specification Version 1.0, March 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244245"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263743"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1033"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133651.1133655"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190229"},{"key":"e_1_3_2_1_7_1","volume-title":"The Java Language Specification","author":"Gosling James","year":"2005","unstructured":"James Gosling , Bill Joy , Guy Steele , and Gilad Bracha . The Java Language Specification , Third Edition. Addison-Wesley Longman , Amsterdam , 3 edition, June 2005 . James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification, Third Edition. Addison-Wesley Longman, Amsterdam, 3 edition, June 2005."},{"key":"e_1_3_2_1_8_1","volume-title":"FOOL-WOOD '07","author":"Andrew","unstructured":"Andrew J. Kennedy and Benjamin C. Pierce. On decidability of nominal subtyping with variance, September 2006 . FOOL-WOOD '07 . Andrew J. Kennedy and Benjamin C. Pierce. On decidability of nominal subtyping with variance, September 2006. FOOL-WOOD '07."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_21"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286979"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2002.3103"},{"key":"e_1_3_2_1_13_1","volume-title":"EPFL Lausanne","author":"Odersky Martin","year":"2009","unstructured":"Martin Odersky . The Scala Language Specification, Version 2.7 . EPFL Lausanne , Switzerland , 2009 . Martin Odersky. The Scala Language Specification, Version 2.7. EPFL Lausanne, Switzerland, 2009."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180475.1180476"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449804"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_18_1","volume-title":"ECOOP 2007","author":"Wehr Stefan","year":"2007","unstructured":"Stefan Wehr , Ralf Lommel , and Peter Thiemann . JavaGI : Generalized interfaces for Java . In ECOOP 2007 , 2007 . Stefan Wehr, Ralf Lommel, and Peter Thiemann. JavaGI: Generalized interfaces for Java. In ECOOP 2007, 2007."}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048140","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2048066.2048140","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:32Z","timestamp":1750225712000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048140"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":16,"alternative-id":["10.1145\/2048066.2048140","10.1145\/2048066"],"URL":"https:\/\/doi.org\/10.1145\/2048066.2048140","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2076021.2048140","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}