Henning Urbat
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL3 editions2023–2026
on a stage with
all 6 in the filters
who talks about the same things
- Stelios Tsampas7 talks
- Sergey Goncharov6 talks
- Lutz Schröder3 talks
- Stefan Milius3 talks
- Lars Birkedal35 talks
- Alejandro Aguirre10 talks
| title | conference | date |
|---|---|---|
| Intrinsically Correct Algorithms and Recursive Coalgebras | PLDI 2026 | 2026-06-15 |
Presents a new sufficient criterion: functors on families indexed by a well-founded relation that factor through restriction are well-founded functors, and… | ||
| Higher-Order Behavioural Conformances via Fibrations | POPL 2026 | 2026-01-11 |
Categorical framework defines an abstract higher-order specification (AHOS) for big-step semantics and models program conformance via fibrations; behavioural… | ||
| Bialgebraic Reasoning on Stateful Languages | ICFP 2025 | 2025-10-12 |
Proposes a concrete operational encoding that splits programs into readers (expecting an input store) and writers (running computations tagged with a store)… | ||
| Abstract Operational Methods for Call-by-Push-Value | POPL 2025 | 2025-01-19 |
Claims that categorical, higher-order GSOS methods instantiate to call-by-push-value and fine-grain call-by-value to yield modular, language-independent proof… | ||
| Towards a Higher-Order Mathematical Operational Semantics | POPL 2023 | 2023-01-15 |
Defines pointed higher-order GSOS laws as dinatural transformations that take syntax as an endofunctor and higher-order behavior as a bifunctor, replacing… | ||
| nothing matches | ||