Representation independence, confinement and access control (2002)

by A Banerjee, D Naumann
Venue:In 29th POPL