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

Displayed time zone: Osaka, Sapporo, Tokyo change

14:00 - 14:50
EffectsML at Conference Room 1
Chair(s): Sam Lindley University of Edinburgh, UK
14:00
25m
Talk
Eff Directly in OCaml
ML
Oleg Kiselyov Tohoku University, KC Sivaramakrishnan University of Cambridge
Pre-print
14:25
25m
Talk
Compiling Links Effect Handlers to the OCaml Backend
ML
Daniel Hillerström The University of Edinburgh, Sam Lindley University of Edinburgh, UK, KC Sivaramakrishnan University of Cambridge
Pre-print