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

by Tobias
Venue:In ACM Symposium on Principles of Programming Languages (POPL