165
Voted
POPL
2002
ACM
16 years 26 days ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...