Stable, Mutable References
Why Algebraic Effects?
Simplification Through Addition
Algebraic Effects, Ownership, and Borrowing
Achieving Safe, Aliasable Mutability with Unboxed Types
Roadmap
Ideas
Language Tour