Java type inference is broken: can we fix it?

@inproceedings{Smith2008JavaTI,
  title={Java type inference is broken: can we fix it?},
  author={Daniel Smith and Robert Cartwright},
  booktitle={OOPSLA},
  year={2008}
}
Java 5, the most recent major update to the Java Programming Language, introduced a number of sophisticated features, including a major extension to the type system. While the technical details of these new features are complex, much of this complexity is hidden from the typical Java developer by an ambitious type inference mechanism. Unfortunately, the extensions to the Java 5 type system were so novel that their technical details had not yet been thoroughly investigated in the research… CONTINUE READING
Highly Cited
This paper has 30 citations. REVIEW CITATIONS

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…