Abstract Data Types in Object-Capability Systems

   Abstract