This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(** * General support for creation of dynamic effects *) | |
(** We show how to use the multicore Ocaml effects to dynamically generate local | |
effects. Such effects are akin to the Eff resources, and they can be used to | |
implement ML references. | |
The code is based on "Eff directly in OCaml" by Oleg Kiselyov and KC | |
Sivaramakrishnan (http://kcsrk.info/papers/caml-eff17.pdf). It was written by | |
Andrej Bauer, Oleg Kiselyov, and Stephen Dolan at the Dagstuhl seminar | |
"Algebraic Effect Handlers go Mainstream". *) |