… in this paper offers ownership and externally unique references (the only external … immutability.
It is a relatively straightforward extension1 of Clarke and Wrigstad’s external uniqueness …

… Notably, it adopts the recovery approach, that is, using the type context to justify strengthening
types, greatly improving its power by permitting to recover uniqueness and immutability …

… This shows the power of combining immutability and ownership: we are able to create
immutable lists only by using the fact that the list owns its entries. If those entries were not owned …

… on external uniqueness because we also have immutable objects: all paths to non-immutable
ob… [25] boost the owner-as-modifier restriction to object immutability by adding a freeze …

… for expressing uniqueness and immutability properties in … types: notably, uniqueness and
immutability properties can be … Ownership A closed stream of research is that on ownership (…

… We argue that the most effective approach is a pragmatic combination: using unique references
or immutable objects where possible and deep copying only as a last resort. To enable …

… We explain first the immutability and then the ownership of each field. Note that we assume
that … We also discuss type states and unique references with fractional permissions as further …

… of immutability above to see their effect on the ownership. In … ownership and immutability,
though this is the first paper to address owners-as-boxes when it comes to adding immutability …

… MOAO [13] combines a minimal notion of ownership, external uniqueness, and immutability
into … have a flat ownership structure: all objects in a message graph have the same owner. It …

… the benefits of adding ownership on top of immutability have not … of immutable cyclic
datastructures by using ownership … as unique, readonly, method effects, and an ownership variant …