Nipkow and David von Oheimb. Javalight is type-safe - definitely (1998)

by Tobias
Venue:In Proc. 25th ACM Symposium on Principles of Programming Languages