Authors: Drossopoulou, S Eisenbach, S Khurshid, S

Citation: S. Drossopoulou et al., Is the Java type system sound?, THEOR PR OB, 5(1), 1999, pp. 3-24