Daniel Smith Robert Cartwright Java type inference is broken: can we fix it? 505-524 2008 OOPSLA http://doi.acm.org/10.1145/1449764.1449804 conf/oopsla/2008 db/conf/oopsla/oopsla2008.html#SmithC08