{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:31:09Z","timestamp":1725618669081},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2010,1,18]]},"DOI":"10.1145\/1706356.1706360","type":"proceedings-article","created":{"date-parts":[[2010,1,19]],"date-time":"2010-01-19T20:15:04Z","timestamp":1263932104000},"page":"5-14","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Corrective hints for type incorrect generic Java programs"],"prefix":"10.1145","author":[{"given":"Nabil","family":"El Boustani","sequence":"first","affiliation":[{"name":"Universiteit Utrecht, Utrecht, Netherlands"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Universiteit Utrecht, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2010,1,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297029"},{"key":"e_1_3_2_1_2_1","volume-title":"Improving type error messages for generic java","author":"el Boustani N.","year":"2008","unstructured":"N. el Boustani . Improving type error messages for generic java , 2008 . http:\/\/www.cs.uu.nl\/wiki\/Hage\/MasterStudents. N. el Boustani. Improving type error messages for generic java, 2008. http:\/\/www.cs.uu.nl\/wiki\/Hage\/MasterStudents."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480964"},{"key":"e_1_3_2_1_4_1","volume-title":"The Scala homepage","author":"M. Odersky","year":"2008","unstructured":"M. Odersky et al. The Scala homepage , 2008 . http:\/\/www.scala-lang.org\/. M. Odersky et al. The Scala homepage, 2008. http:\/\/www.scala-lang.org\/."},{"key":"e_1_3_2_1_5_1","volume-title":"The","author":"Gosling J.","year":"2005","unstructured":"J. Gosling , B. Joy , G. Steele , and G. Bracha . Java(TM) Language Specification , The Third Edition. Addison-Wesley Professional , 2005 . J. Gosling, B. Joy, G. Steele, and G. Bracha. Java(TM) Language Specification, The Third Edition. Addison-Wesley Professional, 2005."},{"key":"e_1_3_2_1_6_1","first-page":"199","volume-title":"Implementation of Functional Languages -- IFL","author":"Hage J.","year":"2006","unstructured":"J. Hage and B. Heeren . Heuristics for type error discovery and recovery . In Z. Horv\u00e1th, V. Zs\u00f3k, and A. Butterfield, editors, Implementation of Functional Languages -- IFL 2006 , volume 4449 , pages 199 -- 216 , Heidelberg, 2007. Springer Verlag . J. Hage and B. Heeren. Heuristics for type error discovery and recovery. In Z. Horv\u00e1th, V. Zs\u00f3k, and A. Butterfield, editors, Implementation of Functional Languages -- IFL 2006, volume 4449, pages 199--216, Heidelberg, 2007. Springer Verlag."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00109-0"},{"key":"e_1_3_2_1_8_1","volume-title":"Universiteit Utrecht","author":"Heeren B.","year":"2005","unstructured":"B. Heeren . Top Quality Type Error Messages. PhD thesis , Universiteit Utrecht , The Netherlands , 2005 . http:\/\/www.cs.uu.nl\/people\/bastiaan\/phdthesis. B. Heeren. Top Quality Type Error Messages. PhD thesis, Universiteit Utrecht, The Netherlands, 2005. http:\/\/www.cs.uu.nl\/people\/bastiaan\/phdthesis."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1080\/08993400500056530"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159887"},{"key":"e_1_3_2_1_11_1","volume-title":"The Timber homepage","author":"Nordlander J.","year":"2008","unstructured":"J. Nordlander , M. Carlsson , A. Gill , P. Lindgren , and B. von Sydow . The Timber homepage , 2008 . http:\/\/www.timber-lang.org. J. Nordlander, M. Carlsson, A. Gill, P. Lindgren, and B. von Sydow. The Timber homepage, 2008. http:\/\/www.timber-lang.org."},{"key":"e_1_3_2_1_12_1","first-page":"137","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell Stuart","year":"2003","unstructured":"Stuart Russell and Peter Norvig . Artificial Intelligence: A Modern Approach , chapter 5, pages 137 -- 151 . Pearson Education , second edition, 2003 . Stuart Russell and Peter Norvig. Artificial Intelligence: A Modern Approach, chapter 5, pages 137--151. Pearson Education, second edition, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449804"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512649"}],"event":{"name":"PEPM '10: Partial Evaluation and Program Manipulation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Madrid Spain","acronym":"PEPM '10"},"container-title":["Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1706356.1706360","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T18:48:51Z","timestamp":1673462931000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1706356.1706360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,18]]},"references-count":14,"alternative-id":["10.1145\/1706356.1706360","10.1145\/1706356"],"URL":"https:\/\/doi.org\/10.1145\/1706356.1706360","relation":{},"subject":[],"published":{"date-parts":[[2010,1,18]]},"assertion":[{"value":"2010-01-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}