Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Vesa Karvonen
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
Not registered as user
Name:
Vesa Karvonen
Affiliation:
Tarides
Contributions
2024
OCaml
Author of Saturn: a library of verified concurrent data structures for OCaml 5 within the OCaml Users and Developers Workshop 2024-track
Author of Picos — Interoperable effects based concurrency within the OCaml Users and Developers Workshop 2024-track
2023
OCaml
Author of Building a lock-free STM for OCaml within the OCaml 2023-track
Author of Eio 1.0 – Effects-based IO for OCaml 5 within the OCaml 2023-track
Share
x
Tue 20 May 06:26
