A Vision for Future Low-Level Languages

Stable, Mutable References

Why Algebraic Effects?

Why Algebraic Effects?

Achieving Safe, Aliasable Mutability with Unboxed Types

Algebraic effects, ownership, and borrowing

Ante: A low-level functional language