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
|14:00 - 14:25|
|14:25 - 14:50|
Daniel HillerströmThe University of Edinburgh, Sam LindleyUniversity of Edinburgh, UK, KC SivaramakrishnanUniversity of CambridgePre-print