Just: safe unknown types in Java-like languages

By: Giovanni Lagorio, Elena Zucca


The authors propose an extension of Java-like languages allowing programmers to omit type annotations in strategic places of their programs without losing type-safety. This is achieved by means of inferred type constraints describing the implicit requirements on untyped code to be correctly executed. A prototype implementation is available on a small, yet significant, Java subset.

Cite as:

Giovanni Lagorio, Elena Zucca, “Just: safe unknown types in Java-like languages”, Journal of Object Technology, Volume 6, no. 2 (February 2007), pp. 69-98, doi:10.5381/jot.2007.6.2.a4.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn