Reynald Affeldt
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
- Ayumu Saito2×
- Cyril Cohenonce
- Jacques Garrigueonce
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Mechanized monadic equational reasoning for ML references | HOPE 2024 | 2024-09-02 |
Extends a Coq mechanization by adding a typed store monad and a bespoke equational theory for ML references, implemented on top of the Mona library and a… | ||
| An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstr... | TyDe 2023 | 2023-09-04 |
Mechanization in Coq of an intrinsically-typed first-order probabilistic language with a denotational semantics that returns measures and proves measurability… | ||
| Semantics of Probabilistic Programs using S-Finite Kernels in Coq | CPP 2023 | 2023-01-16 |
Extends a Coq formalization of measure and integration by adding s-finite kernels to interpret typing judgments for a probabilistic language, and proves key… | ||
| nothing matches | ||