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 ar...
Gardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artigo |
| Publicado: |
2026
|
| Materias: | |
| Acceso en liña: | https://arxiv.org/abs/2608.27798 http://arxiv.org/abs/2608.27798 |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|