Algebraic effects and handlers provide a modular abstraction for modeling 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.
Thu 22 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
14:00 - 14:50
|Eff Directly in OCaml
|Compiling Links Effect Handlers to the OCaml Backend
Daniel Hillerström The University of Edinburgh, Sam Lindley University of Edinburgh, UK, KC Sivaramakrishnan University of CambridgePre-print