Ownership types were proposed to characterize the topology of objects on the heap. They notionally organize objects into boxes, and each box belongs to an object – its owner. In most ownership-based systems, the box protects the object from its environment in some way. Thus, the owner may play the owners-as-dominators role, whereby the owner restricts access to the objects in a box, (i.e. the “...