• Published 2006

Type Inference for Java 5

@inproceedings{Mazurak2006TypeIF,
  title={Type Inference for Java 5},
  author={Karl Mazurak and Steve Zdancewic},
  year={2006}
}
We consider the problem of type checking for Java 5 with generics and wildcard types. Java supports type inference for methods with type parameters, but its presentation in the Java Language Specification lacks both clarity and a sense for how inference fits into the larger picture of Java’s type system. We show, in contrast, how this type inference can be cleanly integrated with subtyping of wildcard types, justifying the intuitions of programmers and logicians alike. In addition, we examine… CONTINUE READING

Figures from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

Is Java 1.5 subtyping decidable? Personal Communication

M. Odersky
  • 2005
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Divergence of f< type-checking

VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

Wild FJ

M. Torgersen, E. Ernst, C. Plesner Hansen
  • In Wadler, P., ed.: Proceedings of FOOL 12, Long Beach, California, USA, ACM, School of Informatics, University of Edinburgh
  • 2005
VIEW 5 EXCERPTS
HIGHLY INFLUENTIAL

An extension of system F with subtyping

L. Cardelli, J. C. Mitchell, S. Martini, A. Scedrov
  • In Ito, T., Meyer, A.R., eds.: Proc. of 1st Int. Symp. on Theor. Aspects of Computer Software, TACS’91, Sendai, Japan, 24–27 Sept 1991. Volume 526. Springer-Verlag, Berlin
  • 1991
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Bug ID: 6273455

Sun Bug Database
  • http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6273455
  • 2005
VIEW 1 EXCERPT

Bug ID: 6278587

Sun Bug Database
  • http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=6278587
  • 2005
VIEW 1 EXCERPT

Is Java 1 . 5 subtyping decidable ?

M. Odersky
  • Personal Communication
  • 2005

Slides for NEPLS talk “Sneaking existentials into Java 5

K. Bruce
  • Personal Communication
  • 2005
VIEW 1 EXCERPT