Gordon Plotkin
where else to find them
no profile links on file
what they talk about
where they keep going back
- LAFI2 editions2023–2024
on a stage with
all 4 in the filters
who talks about the same things
- Sam Staton18 talks
- Ningning Xie21 talks
- Steve Zdancewic19 talks
- Kenji Maillard11 talks
- Mathieu Huot11 talks
- Erik Meijer13 talks
| title | conference | date |
|---|---|---|
| Handling the Selection Monad | PLDI 2025 | 2025-06-16 |
Designs effect handlers that expose loss continuations derived from the selection monad, letting handlers observe per-choice losses and resume computations… | ||
| Homomorphic Reverse Differentiation of Iteration | LAFI 2024 | 2024-01-14 |
Claims that CHAD applies to partial programs with iteration by moving CHAD into a categorical target (the free completion on the dual of Vect with ωCPO… | ||
| Effect Handlers for Choice-Based Learning | LAFI 2024 | 2024-01-14 |
Combines algebraic effects and handlers with loss continuations to make choice points first-class for optimizing decisions. Shows a Haskell effect-handler… | ||
| Contextual source code AD transformations for sum types | LAFI 2023 | 2023-01-15 |
Provides context-based source-code transformations that implement forward AD, reverse AD and transposition for a first-order language with products and sums… | ||
| nothing matches | ||