Simple ownership types for object containment (0)

by D Clarke, J Noble, J M Potter
Venue:Lecture