Stronger Typings for Separate Compilation of Java-like Languages
By: Davide Ancona, Giovanni Lagorio
Cite as:
Davide Ancona, Giovanni Lagorio, “Stronger Typings for Separate Compilation of Java-like Languages”, Journal of Object Technology, Volume 3, no. 6 (June 2004), pp. 5-25.