Paul-André Melliès
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2022–2026
on a stage with
all 6 in the filters
who talks about the same things
- Jérémie Koenig4 talks
- Gilles Barthe17 talks
- Armaël Guéneau7 talks
- Théo Winterhalter14 talks
- Leo Stefanesco6 talks
- Thibault Dardinier9 talks
| title | conference | date |
|---|---|---|
| Classical Notions of Computation and the Hasegawa-Thielecke Theorem | POPL 2026 | 2026-01-11 |
Defines a polarized effect calculus called linear classical L-calculus and shows composition can fail associativity when call-by-value and call-by-name… | ||
| Layered and Object-Based Game Semantics | POPL 2022 | 2022-01-16 |
Presents a concrete game-semantics model where a layer interface is an object type plus an object strategy, implementations are regular maps from underlay to… | ||
| nothing matches | ||