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
: A Memory Model for Multicore OCaml
: Effectively Tackling the Awkward Squad
: Continuation Passing Style for Effect Handlers
: Eff directly in OCaml
: 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 I/O
: 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