Preprint
Aug 2026
Cambria: Resource Abstraction for Parametrized Algebraic Effects and Handlers
The algebraic effects and handlers paradigm separates the concerns of the interface and implementation of computational effects in programming languages. We present Cambria, a language that extends this framework to the parametrized setting. Effect signatures may use abstract parameter types that are instantiated by th...
Jack Liell-Cock, Sam Staton
· 0 citations