Carine Morel
where else to find them
what they talk about
where they keep going back
- OCaml2 editions2023–2024
on a stage with
all 7 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… | ||
| 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 | ||