Virtual types are statically safe (1998)

by M Torgersen
Venue:In: Proc. of the 5th Workshop on Foundations of Object-Oriented Languages (FOOL 5