Anindya Banerjee, David A. Naumann
Representation independence, confinement and access control [extended abstract]
POPL, 2002.
@inproceedings{POPL-2002-BanerjeeN, author = "Anindya Banerjee and David A. Naumann", booktitle = "{Conference Record of the 29th Symposium on Principles of Programming Languages}", doi = "10.1145/503272.503289", editor = "John Launchbury and John C. Mitchell", isbn = "1-58113-450-9", pages = "166--177", publisher = "{ACM}", title = "{Representation independence, confinement and access control [extended abstract]}", year = 2002, }