{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:36Z","timestamp":1772164056000,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,16]],"date-time":"2013-06-16T00:00:00Z","timestamp":1371340800000},"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":[[2013,6,16]]},"DOI":"10.1145\/2491956.2491962","type":"proceedings-article","created":{"date-parts":[[2013,6,11]],"date-time":"2013-06-11T12:03:50Z","timestamp":1370952230000},"page":"85-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Harmonizing classes, functions, tuples, and type parameters in virgil iii"],"prefix":"10.1145","author":[{"given":"Ben L.","family":"Titzer","sequence":"first","affiliation":[{"name":"Google, Mountain View, CA, USA"}]}],"member":"320","published-online":{"date-parts":[[2013,6,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proceedings of the 1st Conference on the Principles and Practice of Programming in Java (PPPJ'02)","author":"Allen E.","year":"2002","unstructured":"E. Allen and R. Cartwright . The case for run-time types in generic Java . In Proceedings of the 1st Conference on the Principles and Practice of Programming in Java (PPPJ'02) . Dublin, Ireland. Jun 2002 . E. Allen and R. Cartwright. The case for run-time types in generic Java. In Proceedings of the 1st Conference on the Principles and Practice of Programming in Java (PPPJ'02). Dublin, Ireland. Jun 2002."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004751"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1929087.1929093"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115297"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646153.679523"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/383721.383732"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1565824.1565830"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_18"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508305"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/647171.716092"},{"key":"e_1_3_2_1_11_1","volume-title":"Design patterns: elements of reusable object-oriented software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson and J. Vlissides . Design patterns: elements of reusable object-oriented software . Addison-Wesley Longman Publishing Co., Inc. Boston, MA . 1995 . E. Gamma, R. Helm, R. Johnson and J. Vlissides. Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc. Boston, MA. 1995."},{"key":"e_1_3_2_1_12_1","volume-title":"Smalltalk-80: the language and its implementation","author":"Goldberg A.","year":"1983","unstructured":"A. Goldberg and D. Robson . Smalltalk-80: the language and its implementation . Addison-Wesley Longman Publishing Co., Inc. Boston, MA . 1983 . A. Goldberg and D. Robson. Smalltalk-80: the language and its implementation. Addison-Wesley Longman Publishing Co., Inc. Boston, MA. 1983."},{"key":"e_1_3_2_1_13_1","unstructured":"Guava: Google Core Libraries for Java 1.5+http:\/\/code.google.com\/p\/guava-libraries\/  Guava: Google Core Libraries for Java 1.5+http:\/\/code.google.com\/p\/guava-libraries\/"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.04.005"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199475"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680032"},{"key":"e_1_3_2_1_17_1","unstructured":"JSR 335: Lambda expressions for the Java(TM) programming language.http:\/\/jcp.org\/en\/jsr\/detail?id=335  JSR 335: Lambda expressions for the Java(TM) programming language.http:\/\/jcp.org\/en\/jsr\/detail?id=335"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378797"},{"key":"e_1_3_2_1_19_1","volume-title":"Combining generics, pre-compilation and sharing between software-based processes","author":"Kennedy A. J.","year":"2004","unstructured":"A. J. Kennedy and D. Syme . Combining generics, pre-compilation and sharing between software-based processes . Jan 2004 . A. J. Kennedy and D. Syme. Combining generics, pre-compilation and sharing between software-based processes. Jan 2004."},{"key":"e_1_3_2_1_20_1","unstructured":"The Maxine Virtual Machine.http:\/\/labs.oracle.com\/projects\/maxine\/  The Maxine Virtual Machine.http:\/\/labs.oracle.com\/projects\/maxine\/"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.391.0021"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedigns of the 4th International Workshop on Foundations of Object-Oriented Programming (FOOL'97)","author":"Odersky M.","year":"1997","unstructured":"M. Odersky , M. Sulzmann and M. Wehr . Type inference with constrained types . In Proceedigns of the 4th International Workshop on Foundations of Object-Oriented Programming (FOOL'97) . Paris, France. Jan 1997 . M. Odersky, M. Sulzmann and M. Wehr. Type inference with constrained types. In Proceedigns of the 4th International Workshop on Foundations of Object-Oriented Programming (FOOL'97). Paris, France. Jan 1997."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411323"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379635"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1104.001.0001","volume-title":"Advanced topics in types and programming languages","author":"Pierce B. C.","year":"2004","unstructured":"B. C. Pierce . Advanced topics in types and programming languages . MIT Press . 2004 . B. C. Pierce. Advanced topics in types and programming languages. MIT Press. 2004."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268967"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/583810.583831"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248421"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449804"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167489"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289881.1289914"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640121"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320392"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159877"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-008-9035-3"}],"event":{"name":"PLDI '13: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Seattle Washington USA","acronym":"PLDI '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2491962","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491956.2491962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:39:10Z","timestamp":1750221550000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491956.2491962"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,16]]},"references-count":36,"alternative-id":["10.1145\/2491956.2491962","10.1145\/2491956"],"URL":"https:\/\/doi.org\/10.1145\/2491956.2491962","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2499370.2491962","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,6,16]]},"assertion":[{"value":"2013-06-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}