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

News
: Multicore OCaml ARM64 Backend
: Visiting Researchers in Winter 2016
: The missing Links compiler - with Multi-shot Effect Handlers
Papers
: 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
Talks
: Effective parallelism with Reagents
: Towards Compilation of Affine Algebraic Effect Handlers
: Concurrent and Multicore OCaml: A deep dive
: Build Your Own Effects
Blogs
: Lock-free programming for the masses by KC Sivaramakrishnan