A simple, comprehensive type system for Java bytecode subroutines (1999)

by R O'Callahan
Venue:In Proc. 26th ACM Symp. on Principles of Programming Languages (POPL