15 on this site · 22 links
Compiling Lean specifications into OxCaml enforcement automata1st Aug 2026Runtimes à la carte: crossloading native and bytecode OCaml1st Apr 2025Effects based scheduling for the OCaml compiler pipeline1st Apr 2025
Parallel traversal effect handlers for OCaml1st Sep 2024
Eio 1.0 – Effects-based IO for OCaml 51st Sep 2023Eio 1.0 – Effects-based IO for OCaml 51st Sep 2023
Experiences with Effects1st Aug 2021
Retrofitting effect handlers onto OCaml1st Jun 2021
Exploring Concurrency in Agent-Based Modelling with Multicore OCaml1st Jan 2021
Parallelising your OCaml Code with Multicore OCaml1st Aug 2020
Retrofitting parallelism onto OCaml1st Aug 2020
Concurrent System Programming with Effect Handlers1st Apr 2018
Effectively tackling the awkward squad1st Sep 2017Effectively tackling the awkward squad1st Sep 2017
Multicore OCaml1st Sep 2014