Delimited Control in OCaml. Oleg Kiselyov
Nov. 24th, 2018 01:35 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
xacidhttp://okmij.org/ftp/continuations/caml-shift-journal.pdf
We describe the first implementation of multi-prompt delimited control op-
erators in OCaml that is direct in that it captures only the needed part of the
control stack. The implementation is a library that requires no changes to
the OCaml compiler or run-time, so it is perfectly compatible with existing
OCaml source and binary code.
We describe the first implementation of multi-prompt delimited control op-
erators in OCaml that is direct in that it captures only the needed part of the
control stack. The implementation is a library that requires no changes to
the OCaml compiler or run-time, so it is perfectly compatible with existing
OCaml source and binary code.
