Stories by jfecher

Safe Aliasable Mutability via Stable References in Ante

Stable, Mutable References (PL Design)

Why Algebraic Effects?

Programming Language Design: Safe, Shared Mutability with Unboxed Types

Achieving Safe, Aliasable Mutability with Unboxed Types