{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:54Z","timestamp":1772164014954,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,10,19]],"date-time":"2008-10-19T00:00:00Z","timestamp":1224374400000},"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":[[2008,10,19]]},"DOI":"10.1145\/1449764.1449804","type":"proceedings-article","created":{"date-parts":[[2008,10,22]],"date-time":"2008-10-22T08:25:44Z","timestamp":1224663944000},"page":"505-524","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["Java type inference is broken"],"prefix":"10.1145","author":[{"given":"Daniel","family":"Smith","sequence":"first","affiliation":[{"name":"Rice University, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Cartwright","sequence":"additional","affiliation":[{"name":"Rice University, Houston, TX, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_2_1","volume-title":"An Implementation of F:. Research report 97","author":"Cardelli Luca","year":"1993","unstructured":"Luca Cardelli . An Implementation of F:. Research report 97 , DEC Systems Research Center , 1993 . Luca Cardelli. An Implementation of F:. Research report 97, DEC Systems Research Center, 1993."},{"key":"e_1_3_2_1_3_1","volume-title":"The Java Language Specification","author":"Gosling James","year":"2005","unstructured":"James Gosling , Bill Joy , Guy Steele , & Gilad Bracha . The Java Language Specification , Third Edition. 2005 . James Gosling, Bill Joy, Guy Steele, & Gilad Bracha. The Java Language Specification, Third Edition. 2005."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320395"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/646159.680032"},{"key":"e_1_3_2_1_6_1","volume-title":"Journal of Object Technology","volume":"6","author":"Igarashi Atsushi","unstructured":"Atsushi Igarashi & Hideshi Nagira . Union Types for Object-Oriented Programming . Journal of Object Technology , vol. 6 , no. 2, February 2007. Atsushi Igarashi & Hideshi Nagira. Union Types for Object-Oriented Programming. Journal of Object Technology, vol. 6, no. 2, February 2007."},{"key":"e_1_3_2_1_7_1","volume-title":"FOOL\/WOOD","author":"Kennedy Andrew J.","year":"2007","unstructured":"Andrew J. Kennedy & Benjamin C. Pierce . On Decidability of Nominal Subtyping with Variance . FOOL\/WOOD , 2007 . Andrew J. Kennedy & Benjamin C. Pierce. On Decidability of Nominal Subtyping with Variance. FOOL\/WOOD, 2007."},{"key":"e_1_3_2_1_8_1","volume-title":"Local Type Argument Synthesis with Bounded Quantification. Technical report TR495","author":"Pierce Benjamin C.","year":"1997","unstructured":"Benjamin C. Pierce & David N. Turner . Local Type Argument Synthesis with Bounded Quantification. Technical report TR495 , Indiana University , 1997 . Benjamin C. Pierce & David N. Turner. Local Type Argument Synthesis with Bounded Quantification. Technical report TR495, Indiana University, 1997."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268967"},{"key":"e_1_3_2_1_10_1","volume-title":"Completing the Java Type System. Master's thesis","author":"Smith Daniel","year":"2007","unstructured":"Daniel Smith . Completing the Java Type System. Master's thesis , Rice University , 2007 . Daniel Smith. Completing the Java Type System. Master's thesis, Rice University, 2007."},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","volume-title":"Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes","author":"Thorup Kresten Krab","year":"1999","unstructured":"Kresten Krab Thorup & Mads Torgersen . Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes . Lecture Notes in Computer Science , 1999 . Kresten Krab Thorup & Mads Torgersen. Unifying Genericity: Combining the Benefits of Virtual Types and Parameterized Classes. Lecture Notes in Computer Science, 1999."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968162"},{"key":"e_1_3_2_1_13_1","volume":"200","author":"Torgersen Mads","unstructured":"Mads Torgersen , Erik Ernst , & Christian Plesner Hansen . Wild F J. FOOL , 200 5. Mads Torgersen, Erik Ernst, & Christian Plesner Hansen. Wild FJ. FOOL, 2005.","journal-title":"J. FOOL"},{"key":"e_1_3_2_1_14_1","unstructured":"DrJava IDE. http:\/\/drjava.org.  DrJava IDE. http:\/\/drjava.org."},{"key":"e_1_3_2_1_15_1","unstructured":"Java Community Process. http:\/\/jcp.org.  Java Community Process. http:\/\/jcp.org."},{"key":"e_1_3_2_1_16_1","unstructured":"\"Type variables should have lower\/super bounds.\" Java Request for Enhancement. http:\/\/bugs.sun.com\/view_bug.do?bug_id=5052956.  \"Type variables should have lower\/super bounds.\" Java Request for Enhancement. http:\/\/bugs.sun.com\/view_bug.do?bug_id=5052956."},{"key":"e_1_3_2_1_17_1","unstructured":"\"Please introduce a name for the \"null' type.\" Java Request for Enhancement. http:\/\/bugs.sun.com\/view_bug.do?bug_id=5060259.  \"Please introduce a name for the \"null' type.\" Java Request for Enhancement. http:\/\/bugs.sun.com\/view_bug.do?bug_id=5060259."},{"key":"e_1_3_2_1_18_1","unstructured":"\"Multiply-bounded reference type expressions.\" Java Request for Enhancement. http:\/\/bugs.sun.com\/view_bug.do?bug_id=6350706.  \"Multiply-bounded reference type expressions.\" Java Request for Enhancement. http:\/\/bugs.sun.com\/view_bug.do?bug_id=6350706."}],"event":{"name":"OOPSLA08: ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications","location":"Nashville TN USA","acronym":"OOPSLA08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449764.1449804","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1449764.1449804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:16Z","timestamp":1750240576000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1449764.1449804"}},"subtitle":["can we fix it?"],"short-title":[],"issued":{"date-parts":[[2008,10,19]]},"references-count":18,"alternative-id":["10.1145\/1449764.1449804","10.1145\/1449764"],"URL":"https:\/\/doi.org\/10.1145\/1449764.1449804","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1449955.1449804","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,10,19]]},"assertion":[{"value":"2008-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}