{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:17:07Z","timestamp":1781893027767,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":38,"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.2048114","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"609-624","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Gradual typing for generics"],"prefix":"10.1145","author":[{"given":"Lintaro","family":"Ina","sequence":"first","affiliation":[{"name":"Kyoto University, Kyoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Atsushi","family":"Igarashi","sequence":"additional","affiliation":[{"name":"Kyoto University, Kyoto, Japan"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926409"},{"key":"e_1_3_2_1_3_1","series-title":"Elsevier ENTCS","first-page":"53","volume-title":"Proc. of WOOD'03","author":"Anderson C.","year":"2003","unstructured":"C. Anderson and S. Drossopoulou . BabyJ - from object based to class based programming via types . In Proc. of WOOD'03 , volume 82 of Elsevier ENTCS , pages 53 -- 81 , 2003 . C. Anderson and S. Drossopoulou. BabyJ - from object based to class based programming via types. In Proc. of WOOD'03, volume 82 of Elsevier ENTCS, pages 53--81, 2003."},{"key":"e_1_3_2_1_4_1","series-title":"Springer LNCS","first-page":"76","volume-title":"Proc. of ECOOP'10","author":"Bierman G.","year":"2010","unstructured":"G. Bierman , E. Meijer , and M. Torgersen . Adding dynamic types to \\Csharp . In Proc. of ECOOP'10 , volume 6183 of Springer LNCS , pages 76 -- 100 , Maridbor , Slovenia, June 2010 . G. Bierman, E. Meijer, and M. Torgersen. Adding dynamic types to \\Csharp. In Proc. of ECOOP'10, volume 6183 of Springer LNCS, pages 76--100, Maridbor, Slovenia, June 2010."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640098"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165893"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529700"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_4"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of FOOL'10","author":"Gray K. E.","year":"2010","unstructured":"K. E. Gray . Interoperability in a scripted world: Putting inheritance & prototypes together . In Proc. of FOOL'10 , Oct. 2010 . K. E. Gray. Interoperability in a scripted world: Putting inheritance & prototypes together. In Proc. of FOOL'10, Oct. 2010."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094830"},{"key":"e_1_3_2_1_15_1","first-page":"93","volume-title":"Proc. of the Scheme and Functional Programming Workshop","author":"Gronski J.","year":"2006","unstructured":"J. Gronski , K. Knowles , A. Tomb , S. N. Freund , and C. Flanagan . Sage: Hybrid checking for flexible specifications . In Proc. of the Scheme and Functional Programming Workshop , pages 93 -- 104 , Sept. 2006 . J. Gronski, K. Knowles, A. Tomb, S. N. Freund, and C. Flanagan. Sage: Hybrid checking for flexible specifications. In Proc. of the Scheme and Functional Programming Workshop, pages 93--104, Sept. 2006."},{"key":"e_1_3_2_1_16_1","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-55253-7_14","volume-title":"Proc. of ESOP'92","author":"Henglein F.","year":"1992","unstructured":"F. Henglein . Dynamic typing . In Proc. of ESOP'92 , volume 582 of Springer LNCS , pages 233 -- 253 , Rennes, France , Feb. 1992 . F. Henglein. Dynamic typing. In Proc. of ESOP'92, volume 582 of Springer LNCS, pages 233--253, Rennes, France, Feb. 1992."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1152649.1152650"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570506.1570509"},{"issue":"2","key":"e_1_3_2_1_20_1","first-page":"18","article-title":"fjgradL. Ina and A. Igarashi. Gradual typing for Featherweight Java","volume":"26","year":"2009","unstructured":"}ina09 : fjgradL. Ina and A. Igarashi. Gradual typing for Featherweight Java . Computer Software , 26 ( 2 ): 18 -- 40 , Apr. 2009 \\natexlabb. In Japanese. }ina09:fjgradL. Ina and A. Igarashi. Gradual typing for Featherweight Java. Computer Software, 26 (2): 18--40, Apr. 2009\\natexlabb. In Japanese.","journal-title":"Computer Software"},{"key":"e_1_3_2_1_21_1","volume-title":"Proc. of FOOL\/WOOD'07","author":"Kennedy A. J.","year":"2007","unstructured":"A. J. Kennedy and B. C. Pierce . On decidability of nominal subtyping with variance . In Proc. of FOOL\/WOOD'07 , Nice, France , Jan. 2007 . A. J. Kennedy and B. C. Pierce. On decidability of nominal subtyping with variance. In Proc. of FOOL\/WOOD'07, Nice, France, Jan. 2007."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2007.6.2.a4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"J.\n      Matthews\n     and \n      A.\n      Ahmed\n  . \n  Parametric polymorphism through run-time sealing or thorems for low low prices! In Proc. of ESOP'08 volume \n  4960\n   of \n  Springer LNCS pages \n  16\n  --\n  31 2008\n  .   J. Matthews and A. Ahmed. Parametric polymorphism through run-time sealing or thorems for low low prices! In Proc. of ESOP'08 volume 4960 of Springer LNCS pages 16--31 2008.","DOI":"10.1007\/978-3-540-78739-6_2"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of IWACO'11","author":"Sergey I.","year":"2011","unstructured":"I. Sergey and D. Clarke . Towards gradual ownership types . In Proc. of IWACO'11 , Lancaster, UK , July 2011 . I. Sergey and D. Clarke. Towards gradual ownership types. In Proc. of IWACO'11, Lancaster, UK, July 2011."},{"key":"e_1_3_2_1_27_1","first-page":"81","volume-title":"Proc. of the Scheme and Functional Programming Workshop","author":"Siek J. G.","year":"2006","unstructured":"J. G. Siek and W. Taha . Gradual typing for functional languages . In Proc. of the Scheme and Functional Programming Workshop , pages 81 -- 92 , Sept. 2006 . J. G. Siek and W. Taha. Gradual typing for functional languages. In Proc. of the Scheme and Functional Programming Workshop, pages 81--92, Sept. 2006."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96747"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_28"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2004.3.11.a5"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/46.3.263"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.09.013"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353182"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_3_2_1_36_1","series-title":"Springer LNCS","first-page":"459","volume-title":"Proc. of ECOOP'11","author":"Wolff R.","year":"2011","unstructured":"R. Wolff , R. Garcia , \u00c9. Tanter, and J. Aldrich . Gradual typestate . In Proc. of ECOOP'11 , volume 6813 of Springer LNCS , pages 459 -- 483 , Lancaster , UK , July 2011 . R. Wolff, R. Garcia, \u00c9. Tanter, and J. Aldrich. Gradual typestate. In Proc. of ECOOP'11, volume 6813 of Springer LNCS, pages 459--483, Lancaster, UK, July 2011."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706343"}],"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.2048114","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2048066.2048114","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.2048114"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":38,"alternative-id":["10.1145\/2048066.2048114","10.1145\/2048066"],"URL":"https:\/\/doi.org\/10.1145\/2048066.2048114","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2076021.2048114","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"}}]}}