Virtual types are statically safe (1998)

by Mads Togersen
Venue:5th Workshop on Foundations of Object-Oriented Languages