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 Sep Times are displayed in time zone: Osaka, Sapporo, Tokyo change
14:00 - 14:50
|Eff Directly in OCaml|
|Compiling Links Effect Handlers to the OCaml Backend|
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of CambridgePre-print