• Sign in
  • Sign up
conf.researchr.org / Vesa Karvonen
  • ICFP 2023 profile
  • ICFP 2024 profile
No Photo

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
xTue 20 May 06:26
using conf.researchr.org (v1.69.0)
Support page
Sign Up