Virtual types are statically safe (1998)

by Mads Torgersen
Venue:In 5th Workshop on Foundations of Object-Oriented Languages (FOOL