A type system for Java bytecode subroutines (1998)

by Raymie Stata , Martín Abadi
Venue:In Proceedings of the 25th ACM POPL
Citations:176 - 0 self