Compiling Links Effect Handlers to the OCaml Backend

Algebraic effects and handlers provide a modular abstraction for modelling and controlling computational effects. We present a compiler for the experimental language Links with effect handlers. Our compiler interfaces with the Multicore OCaml backend to take advantage of OCaml’s implementation of efficient handlers.