{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:25Z","timestamp":1772163985241,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"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":[[2007,10,21]]},"DOI":"10.1145\/1297027.1297037","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"113-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Variant path types for scalable extensibility"],"prefix":"10.1145","author":[{"given":"Atsushi","family":"Igarashi","sequence":"first","affiliation":[{"name":"Kyoto University, Kyoto, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[{"name":"Universita di Bologna, Cesena, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"45","volume-title":"Advanced Topics in Types and Programming Languages","author":"Aspinall David","year":"2005","unstructured":"David Aspinall and Martin Hofmann . Dependent types . In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages , chapter 2, pages 45 -- 86 . The MIT Press , 2005 . David Aspinall and Martin Hofmann. Dependent types. In Benjamin C. Pierce, editor, Advanced Topics in Types and Programming Languages, chapter 2, pages 45--86. The MIT Press, 2005."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001039"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80799-0"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_18"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679691"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053376"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes on Computer Science","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/3-540-49538-X_3","volume-title":"Proceedings of 9th European Conference on Object-Oriented Programming (ECOOP'95)","author":"Bruce Kim B.","year":"1995","unstructured":"Kim B. Bruce , Angela Schuett , and Robert van Gent . PolyTOIL: A type-safe polymorphic object-oriented language . In WOlthoff, editor, Proceedings of 9th European Conference on Object-Oriented Programming (ECOOP'95) , volume 952 of Lecture Notes on Computer Science , pages 27 -- 51 , Aarhus, Denmark, August 1995 . Springer Verlag . Kim B. Bruce, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. In WOlthoff, editor, Proceedings of 9th European Conference on Object-Oriented Programming (ECOOP'95), volume 952 of Lecture Notes on Computer Science, pages 27--51, Aarhus, Denmark, August 1995. Springer Verlag."},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of 15th Conference on the Mathematical Foundations of Programming Semantics (MFPS XV)","volume":"20","author":"Kim","year":"1999","unstructured":"Kim B. Bruce and Joseph C. Vanderwaart. Semantics-driven language design: Statically type-safe virtual types in object-oriented languages . In Proceedings of 15th Conference on the Mathematical Foundations of Programming Semantics (MFPS XV) , volume 20 of Electronic Notes in Theoretical Computer Science, New Orleans, LA , April 1999 . Elsevier. Available through http:\/\/www.elsevier.nl\/locate\/entcs\/volume20.html. Kim B. Bruce and Joseph C. Vanderwaart. Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. In Proceedings of 15th Conference on the Mathematical Foundations of Programming Semantics (MFPS XV), volume 20 of Electronic Notes in Theoretical Computer Science, New Orleans, LA, April 1999. Elsevier. Available through http:\/\/www.elsevier.nl\/locate\/entcs\/volume20.html."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218563.1218578"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11821069_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646156.679845"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680013"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_14"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111062"},{"key":"e_1_3_2_1_15_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 . Addison-Wesley , third edition, June 2005 . James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison-Wesley, third edition, June 2005."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646157.679864"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/320385.320395"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1152649.1152650"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297037"},{"key":"e_1_3_2_1_20_1","volume-title":"Proceedings of 6th ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP2004)","author":"Jolly Paul","year":"2004","unstructured":"Paul Jolly , Sophia Drossopoulou , Christopher Anderson , and Klaus Ostermann . Simple dependent types: Concord . In Proceedings of 6th ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP2004) , June 2004 . Paul Jolly, Sophia Drossopoulou, Christopher Anderson, and Klaus Ostermann. Simple dependent types: Concord. In Proceedings of 6th ECOOP Workshop on Formal Techniques for Java-like Programs (FTfJP2004), June 2004."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/74877.74919"},{"key":"e_1_3_2_1_22_1","volume-title":"Object-Oriented Programming in the BETA Programming Language","author":"Madsen Ole Lehrmann","year":"1993","unstructured":"Ole Lehrmann Madsen , Birger M\u00f8ller-Pedersen , and Kristen Nygaard . Object-Oriented Programming in the BETA Programming Language . Addison Wesley , 1993 . Ole Lehrmann Madsen, Birger M\u00f8ller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the BETA Programming Language. Addison Wesley, 1993."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643613"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028986"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167476"},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes on Computer Science","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-540-45070-2_10","volume-title":"Proceedings of European Conference on Object-Oriented Programming (ECOOP'03)","author":"Odersky Martin","year":"2003","unstructured":"Martin Odersky , Vincent Cremet , Christine R\u00f6ckl , and Matthias Zenger . A nominal theory of objects with dependent types . In Luca Cardelli, editor, Proceedings of European Conference on Object-Oriented Programming (ECOOP'03) , volume 2743 of Lecture Notes on Computer Science , pages 201 -- 224 , Darmstadt, Germany, July 2003 . Springer Verlag . Martin Odersky, Vincent Cremet, Christine R\u00f6ckl, and Matthias Zenger. A nominal theory of objects with dependent types. In Luca Cardelli, editor, Proceedings of European Conference on Object-Oriented Programming (ECOOP'03), volume 2743 of Lecture Notes on Computer Science, pages 201--224, Darmstadt, Germany, July 2003. Springer Verlag."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094815"},{"key":"e_1_3_2_1_29_1","first-page":"161","volume-title":"Lightweight family polymorphism. Journal of Functional Programming","author":"Saito Chieri","year":"2007","unstructured":"Chieri Saito , Atsushi Igarashi , and Mirko Viroli . Lightweight family polymorphism. Journal of Functional Programming , 2007 . To appear. A preliminary summary appeared in Proceedings of the 3rd Asian Symposium on Programming Languages and Systems, Springer LNCS vol. 3780, pages 161 -- 177 , November, 2005. Chieri Saito, Atsushi Igarashi, and Mirko Viroli. Lightweight family polymorphism. Journal of Functional Programming, 2007. To appear. A preliminary summary appeared in Proceedings of the 3rd Asian Symposium on Programming Languages and Systems, Springer LNCS vol. 3780, pages 161--177, November, 2005."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679703"},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of European Conference on Object-Oriented Programming (ECOOP2004)","volume":"3086","author":"Torgersen Mads","year":"2004","unstructured":"Mads Torgersen . The expression problem revisited: Four new solutions using generics . In Proceedings of European Conference on Object-Oriented Programming (ECOOP2004) , volume 3086 of Lecture Notes on Computer Science, pages 123--146, Oslo, Norway , June 2004 . Mads Torgersen. The expression problem revisited: Four new solutions using generics. In Proceedings of European Conference on Object-Oriented Programming (ECOOP2004), volume 3086 of Lecture Notes on Computer Science, pages 123--146, Oslo, Norway, June 2004."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.11.a5"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297037","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297027.1297037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:27Z","timestamp":1750244307000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297027.1297037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":33,"alternative-id":["10.1145\/1297027.1297037","10.1145\/1297027"],"URL":"https:\/\/doi.org\/10.1145\/1297027.1297037","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1297105.1297037","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}