Safe Aliasable Mutability via Stable References in Ante
antelang.org