Algebraic Effects and Handlers

OCaml with support for (unchecked) algebraic effects and handlers. Effects and handlers provide concurrency and compose part of Multicore OCaml.

Examples of effects and handlers.

Recent Activity

: Multicore OCaml ARM64 Backend
: Visiting Researchers in Winter 2016
: The missing Links compiler - with Multi-shot Effect Handlers
: Effective Concurrency with Algebraic Effects
: Compiling Links Effect Handlers to the OCaml Backend
: Eff Directly in OCaml
: Effective Concurrency through Algebraic Effects
: Coeffects: A Calculus of Context-Dependent Computation
: Effective parallelism with Reagents
: Towards Compilation of Affine Algebraic Effect Handlers
: Concurrent and Multicore OCaml: A deep dive
: Build Your Own Effects
: Lock-free programming for the masses by KC Sivaramakrishnan