Damiano Mazza
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 2 in the filters
on a stage with
- Michele Paganionce
who talks about the same things
- Michele Pagani3 talks
- Alexey Radul2 talks
- Daan Leijen16 talks
- Alejandro Serrano9 talks
- Dominique Devriese17 talks
- Steve Zdancewic19 talks
| title | conference | date |
|---|---|---|
| Programming Languages for Automatic Differentiation: What Now? | LAFI 2022 | 2022-01-16 |
Claims that AD is a functor and that backprop is higher-order drive a survey of recent papers, formal correctness proofs, and a lambda-calculus style program… | ||
| Automatic Differentiation in PCF | POPL 2021 | 2021-01-17 |
Proves that automatic differentiation on PCF with reals (higher-order, Turing-complete) is correct except on a Lebesgue-measure-zero set: forward and reverse… | ||
| nothing matches | ||