Just: safe unknown types in Java-like languages
By: Giovanni Lagorio, Elena Zucca
Abstract
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.