Denis Merigoux
where else to find them
bluesky:denismerigoux.bsky.social
what they talk about
where they keep going back
no series more than once — all 5 in the filters
on a stage with
all 7 in the filters
who talks about the same things
- Aseem Rastogi7 talks
- Nikhil Swamy14 talks
- Aymeric Fromherz9 talks
- Guido Martínez10 talks
- Danel Ahman7 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Modern DSL compiler architecture in OCaml our experience with Catala | OCaml 2023 | 2023-09-09 |
Catala is an OCaml DSL for encoding legal rules; this session explains how the compiler uses a single centralized AST plus object types as row variables and… | ||
| Experience report: implementing a real-world, medium-sized program derived fr... | ProLaLa 2023 | 2023-01-15 |
Replication of the French housing benefits system CRISTAL from CNAF laws uses Catala to reimplement about 7,000 lines of code and 100 pages of regulations… | ||
| Turning Catala into a Proof Platform for the Law | Programming Languages and the Law 2022 (ProLaLa 2022) | 2022-01-16 |
Catala becomes a proof platform that uses proof-by-refinement to simplify programs while preserving semantics, generating no-empty/no-conflict VCs for default… | ||
| Programming The Law: Best Practices | apidays Paris 2021 | 2021-12-07 |
Translating statutes into executable code is harder than arithmetic because of ambiguity and non-monotonic legal reasoning; dozens of government systems… | ||
| SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed ... | ICFP 2020 | 2020-08-23 |
SteelCore provides a semantics for CSL inside F, deriving Hoare rules from effectful non‑deterministic interleaving; it encodes computations as action trees… | ||
| nothing matches | ||