Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Thu 22 Sep 2016 14:25 - 14:50 at Conference Room 1 - Effects Chair(s): Sam Lindley

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
EffectsML at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
14:00
25m
Talk
Eff Directly in OCaml
ML
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
Pre-print
14:25
25m
Talk
Compiling Links Effect Handlers to the OCaml Backend
ML
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge
Pre-print