Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Clément Allain
conf.researchr.org general profile
ICFP 2021 profile
ICFP 2024 profile
Not registered as user yet
Name:
Clément Allain
Country:
France
Affiliation:
Inria
Contributions
2024
ICFP
Author of Snapshottable Stores within the ICFP Papers and Events-track
OCaml
Author of Saturn: a library of verified concurrent data structures for OCaml 5 within the OCaml Users and Developers Workshop 2024-track
2021
ML
Author of Isomorphisms are back! (short talk) within the ML 2021-track
Share
x
Thu 10 Oct 20:07