Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Carine Morel
conf.researchr.org general profile
ICFP 2023 profile
ICFP 2024 profile
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
Share
x
Tue 20 May 22:17
