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

We present the embedding of the language Eff into OCaml, using the library of delimited continuations or the OCaml-effects branch. The embedding is systematic, lightweight, performant and supports even higher-order, `dynamic’ effects with their polymorphism. OCaml thus may be regarded as another implementation of Eff, broadening the scope and appeal of that language.

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