A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.
a research programming language based on handlers
Tina, a programming language with typed algebraic effects and handlers.
A programming language with first-class modules and algebraic effects.
🦠 An experimental elaborator for dependent type theory using effects and handlers
🪄 A modular interpreter using effects and effect handlers
Using OCaml 5.1.0 to express monitors in Runtime Verification using algebraic effects and handlers.
an effect handler-oriented programming language
🦠 Reusable components based on algebraic effects
👹 A library for hierarchical names and lexical scoping
🩺 A library for compiler diagnostics
Add a description, image, and links to the algebraic-effects topic page so that developers can more easily learn about it.
To associate your repository with the algebraic-effects topic, visit your repo's landing page and select "manage topics."