Security properties of typed applets (1998)

by X Leroy, F Rouaix
Venue:Conference Record of POPL ’98: The 25th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages