A type system for java bytecode subroutines (1998)

by Raymie Stata, Martfn Abadi
Venue:In Proc. 25th ACM Symp. on Principles of Programming Languages (POPL