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

14:00 - 14:50: ML - Effects at Conference Room 1
Chair(s): Sam LindleyUniversity of Edinburgh, UK
mlfamilyworkshop-2016-papers14:00 - 14:25
Oleg KiselyovTohoku University, KC SivaramakrishnanUniversity of Cambridge
mlfamilyworkshop-2016-papers14:25 - 14:50
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of Cambridge