Representation independence, confinement and access control (2002)

by Anindya Banerjee, David A Naumann
Venue:In ACM Symposium on Principles of Programming Languages (POPL