Representation independence, confinement and access control [extended abstract].

Anindya Banerjee, David A. Naumann

Browse the full POPL paper archive.