Java type inference is broken: can we fix it?

Daniel Smith, Robert Cartwright

Browse the full OOPSLA paper archive.