5 on this site · 35 links
On this siterelevancedate5
An io_uring IO implementation for Lean1st Apr 2026#concurrency#fplaunchpad#lean#linux#verificationEio 1.0 – Effects-based IO for OCaml 51st Sep 2023#concurrency#effects#eio#fp#ocamlBounding data races in space and time1st Jun 2018#concurrency#fp#memory-model#ocaml#systemsConcurrent System Programming with Effect Handlers1st Apr 2018#concurrency#effect-handlers#fp#systemsMulticore OCaml1st Sep 2014#concurrency#fp#multicore#ocaml#systems