Ownership types for flexible alias protection (1998)

by D Clarke, J M Potter, J Noble
Venue:In OOPSLA