Clément Blaudeau
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Didier Rémyonce
- Fengyun Liuonce
- Gabriel Radanneonce
who talks about the same things
- Gabriel Radanne11 talks
- Didier Rémy5 talks
- Fengyun Liu4 talks
- Gabriel Scherer12 talks
- Clément Pit-Claudel17 talks
- Ondřej Lhoták11 talks
| title | conference | date |
|---|---|---|
| Avoiding signature avoidance in ML modules with zippers | POPL 2025 | 2025-01-19 |
ZipML presents a path-based type system that prevents signature avoidance by adding floating fields—hidden signature fields represented as zippers—and four… | ||
| A conceptual framework for safe object initialization: a principled and mechani... | OOPSLA 2023 | 2023-10-23 |
Defines four enforceable principles—monotonicity, authority, stackability, scopability—and builds a small Celsius calculus that encodes temperature-annotated… | ||
| A Verified Packrat Parser Interpreter for Parsing Expression Grammars | CPP 2020 | 2020-01-20 |
A mechanically verified packrat parser interpreter for PEGs implements a small-step semantics and a static termination analysis (computing the… | ||
| nothing matches | ||