Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Basile Clément
conf.researchr.org general profile
ICFP 2024 profile
POPL 2025 profile
Not registered as user yet
Name:
Basile Clément
Country:
France
Affiliation:
OCamlPro
Contributions
2025
POPL
Author of Tail Modulo Cons, OCaml, and Relational Separation Logic within the POPL-track
2024
ICFP
Author of Snapshottable Stores within the ICFP Papers and Events-track
Share
x
Tue 3 Dec 18:03