Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Clément Blaudeau
Observed names:
Blaudeau Clement,
Blaudeau, Clément,
Clement Blaudeau
Institutions:
Institut national de recherche en sciences et technologies du numérique,
Université Paris Cité
Observed institutions:
Institut national de recherche en sciences et technologies du numérique,
École Polytechnique,
Université Paris Cité,
Centre Inria de Paris,
CAMBIUM: Langages de programmation : systèmes de types, concurrence, preuve de programme
ORCID:
0000-0002-6333-6092
Observed ORCID:
0000-0002-6333-6092
OpenAlex ID:
A5083140870
A verified packrat parser interpreter for parsing expression grammars
2020
·
Clement Blaudeau
, Natarajan Shankar
·
ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
·
15
PDF
Fulfilling OCaml Modules with Transparency
2024
·
Blaudeau Clement
, Didier Rémy
, et al.
·
Proceedings of the ACM on Programming Languages
·
2
A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model
2022
·
Clément Blaudeau
, Fengyun Liu
·
Proceedings of the ACM on Programming Languages
·
2
PDF
Avoiding Signature Avoidance in ML Modules with Zippers
2025
·
Clément Blaudeau
, Didier Rémy
, et al.
·
Proceedings of the ACM on Programming Languages
Retrofitting and strengthening the ML module system
2024
·
Clément Blaudeau
PDF
Retrofitting OCaml modules
2023
·
Blaudeau, Clément
, Rémy, Didier
, et al.
·
HAL
PDF
OCaml modules: formalization, insights and improvements
2021
·
Blaudeau, Clément
·
HAL
Show more works
View as search
Works count:
9
Citation count:
20
H-index:
2
I10-index:
1
Year
Topic
Type
