{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:32:11Z","timestamp":1750307531374,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,27]],"date-time":"2009-08-27T00:00:00Z","timestamp":1251331200000},"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":[[2009,8,27]]},"DOI":"10.1145\/1596655.1596666","type":"proceedings-article","created":{"date-parts":[[2009,9,25]],"date-time":"2009-09-25T19:37:23Z","timestamp":1253907443000},"page":"67-75","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Safer typing of complex API usage through Java generics"],"prefix":"10.1145","author":[{"given":"William","family":"Harrison","sequence":"first","affiliation":[{"name":"Trinity College Dublin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lievens","sequence":"additional","affiliation":[{"name":"Trinity College Dublin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Simeoni","sequence":"additional","affiliation":[{"name":"University of Strathclyde"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,8,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"G. Bracha. Generics in the java programming language. http:\/\/java.sun.com\/j2se\/1.5\/pdf\/generics-tutorial.pdf.  G. Bracha. Generics in the java programming language. http:\/\/java.sun.com\/j2se\/1.5\/pdf\/generics-tutorial.pdf."},{"key":"e_1_3_2_1_2_1","volume-title":"Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci, 82(7)","author":"Bruce K. B.","year":"2003","unstructured":"K. B. Bruce . Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci, 82(7) , 2003 . K. B. Bruce. Some challenging typing issues in object-oriented languages. Electr. Notes Theor. Comput. Sci, 82(7), 2003."},{"key":"e_1_3_2_1_3_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/BFb0054106","volume-title":"Proceedings of 12th European Conference on Object-Oriented Programming (ECOOP'98)","author":"Bruce K. B.","year":"1998","unstructured":"K. B. Bruce , M. Odersky , and P. Wadler . A statically safe alternative to virtual types . In E. Jul, editor, Proceedings of 12th European Conference on Object-Oriented Programming (ECOOP'98) , volume 1445 of Lecture Notes in Computer Science , pages 523 -- 549 . Springer Verlag , 1998 . K. B. Bruce, M. Odersky, and P. Wadler. A statically safe alternative to virtual types. In E. Jul, editor, Proceedings of 12th European Conference on Object-Oriented Programming (ECOOP'98), volume 1445 of Lecture Notes in Computer Science, pages 523--549. Springer Verlag, 1998."},{"key":"e_1_3_2_1_4_1","series-title":"LNCS","first-page":"27","volume-title":"Proceedings of 9th European Conference on Object- Oriented Programming (ECOOP'95)","author":"Bruce K. B.","year":"1995","unstructured":"K. B. Bruce , A. Schuett , and R. van Gent . PolyTOIL: A type-safe polymorphic object-oriented language . In W. Olthoff, editor, Proceedings of 9th European Conference on Object- Oriented Programming (ECOOP'95) , volume 952 of LNCS , pages 27 -- 51 , Aarhus, Denmark, Aug . 1995 . Springer-Verlag . K. B. Bruce, A. Schuett, and R. van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. In W. Olthoff, editor, Proceedings of 9th European Conference on Object- Oriented Programming (ECOOP'95), volume 952 of LNCS, pages 27--51, Aarhus, Denmark, Aug. 1995. Springer-Verlag."},{"key":"e_1_3_2_1_5_1","first-page":"303","volume-title":"Proceedings of 15th European Conference on Object- Oriented Programming (ECOOP 2001","author":"Ernst E.","year":"2072","unstructured":"E. Ernst . Family polymorphism. In J. L. Knudsen, editor , Proceedings of 15th European Conference on Object- Oriented Programming (ECOOP 2001 ), number 2072 in LNCS, pages 303 -- 326 . Springer Verlag , 2001. E. Ernst. Family polymorphism. In J. L. Knudsen, editor, Proceedings of 15th European Conference on Object- Oriented Programming (ECOOP 2001), number 2072 in LNCS, pages 303--326. Springer Verlag, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111062"},{"key":"e_1_3_2_1_7_1","volume-title":"Design Patterns","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns . Addison-Wesley , 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.442.0309"},{"key":"e_1_3_2_1_9_1","volume-title":"Professional Java Development with the Spring Framework","author":"Johnson R.","year":"2005","unstructured":"R. Johnson , J. Hoeller , A. Arendsen , T. Risberg , and D. Kopylenko . Professional Java Development with the Spring Framework . Wrox Press Ltd ., 2005 . R. Johnson, J. Hoeller, A. Arendsen, T. Risberg, and D. Kopylenko. Professional Java Development with the Spring Framework. Wrox Press Ltd., 2005."},{"key":"e_1_3_2_1_10_1","volume-title":"Java Generics and Collections. O'Reilly","author":"Naftalin M.","year":"2006","unstructured":"M. Naftalin and P. Wadler . Java Generics and Collections. O'Reilly , 2006 . M. Naftalin and P. Wadler. Java Generics and Collections. O'Reilly, 2006."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1028986"},{"key":"e_1_3_2_1_12_1","first-page":"201","volume-title":"A nominal theory of objects with dependent types","author":"Odersky M.","year":"2003","unstructured":"M. Odersky , V. Cremet , C. R\u00f6ckl , and M. Zenger . A nominal theory of objects with dependent types . In F. Buschmann, A. P. Buchmann, and M. Cilia, editors, ECOOP 2003 , number 3013 in LNCS, pages 201 -- 224 . Springer Verlag , 2003. M. Odersky, V. Cremet, C. R\u00f6ckl, and M. Zenger. A nominal theory of objects with dependent types. In F. Buschmann, A. P. Buchmann, and M. Cilia, editors, ECOOP 2003, number 3013 in LNCS, pages 201--224. Springer Verlag, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"K.\n      Ostermann\n    .\n  Dynamically composable collaborations with delegation layers\n  . In B. Magnusson editor ECOOP \n  2002\n   - Object-Oriented Programming 16th European Conference Malaga Spain June 10--14 2002 Proceedings volume \n  2374\n   of \n  Lecture Notes in Computer Science pages \n  89\n  --\n  110\n  . \n  Springer 2002.   K. Ostermann. Dynamically composable collaborations with delegation layers. In B. Magnusson editor ECOOP 2002 - Object-Oriented Programming 16th European Conference Malaga Spain June 10--14 2002 Proceedings volume 2374 of Lecture Notes in Computer Science pages 89--110. Springer 2002.","DOI":"10.1007\/3-540-47993-7_4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006405"},{"key":"e_1_3_2_1_15_1","unstructured":"The scala programming language. http:\/\/lamp.epfl.ch\/scala\/.  The scala programming language. http:\/\/lamp.epfl.ch\/scala\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968162"}],"event":{"name":"PPPJ '09: Principles and Practice of Programming in Java","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Calgary Alberta Canada","acronym":"PPPJ '09"},"container-title":["Proceedings of the 7th International Conference on Principles and Practice of Programming in Java"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596655.1596666","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596655.1596666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:11Z","timestamp":1750249391000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596655.1596666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,27]]},"references-count":16,"alternative-id":["10.1145\/1596655.1596666","10.1145\/1596655"],"URL":"https:\/\/doi.org\/10.1145\/1596655.1596666","relation":{},"subject":[],"published":{"date-parts":[[2009,8,27]]},"assertion":[{"value":"2009-08-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}