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
Times are displayed in time zone: (GMT+09:00) Osaka, Sapporo, Tokyo change

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