Vesa Karvonen
where else to find them
what they talk about
where they keep going back
- OCaml2 editions2023–2024
on a stage with
all 12 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Saturn: a library of verified concurrent data structures for OCaml 5 | OCaml 2024 | 2024-09-07 |
Saturn is an OCaml 5 library on opam providing stack, queue, skiplist, hash table and work‑stealing deque implementations, benchmarked and partly formally… | ||
| Picos — Interoperable effects based concurrency | OCaml 2024 | 2024-09-07 |
Picos defines a small interface between effects‑based schedulers and concurrent abstractions, billed as a POSIX of effects, exposing only a multiplexer and… | ||
| Eio 1.0 – Effects-based IO for OCaml 5 | OCaml 2023 | 2023-09-09 |
Effects-based direct-style IO for OCaml 5 that exposes three core effects suspend, fork, get_context and multiple backends (POSIX, Linux io_uring, Windows, JS… | ||
| Building a lock-free STM for OCaml | OCaml 2023 | 2023-09-09 |
kcas implements a lock-free software transactional memory for OCaml built on a multi-word compare-and-set primitive, with composable transactions… | ||
| nothing matches | ||