Carine Morel -

Registered user since Wed 22 May 2024

Name:Carine Morel

Country:France

Affiliation:Tarides

GitHub: https://github.com/lyrm

Contributions

2024

OCaml

Committee Member in Program Committee within the OCaml Users and Developers Workshop 2024-track
Author of Saturn: a library of verified concurrent data structures for OCaml 5 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