Retrofitting effect handlers onto OCaml / Jun 2021
Paper on retrofitting effects in OCaml presented at PLDI 2021 with KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly and Sadiq Jaffer. This work complemented our retrofitting parallelism paper, showing how algebraic effect handlers could be added to OCaml's runtime while maintaining backwards compatibility. Effect handlers are the key mechanism enabling lightweight concurrency in multicore OCaml, and getting the design and implementation right was critical for the language's evolution.