Achieving Safe, Aliasable Mutability with Unboxed Types
antelang.org