Sergey Goncharov
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2023–2025
on a stage with
all 5 in the filters
who talks about the same things
- Stelios Tsampas7 talks
- Stefan Milius3 talks
- Lutz Schröder3 talks
- Henning Urbat6 talks
- Lars Birkedal35 talks
- Robert Zhang4 talks
| title | conference | date |
|---|---|---|
| Towards Light-Weight Operational Reasoning for Languages with Binders, Categorically | HOPE 2026 | 2026-08-24 |
Proposes representing substitution as a runtime operator by translating lambda calculus into a new combinatory lambda calculus with an operator for each lambda… | ||
| Big Steps in Higher-Order Mathematical Operational Semantics | ICFP 2025 | 2025-10-12 |
Proves an abstract categorical equivalence between small‑step and big‑step for higher‑order SOS by defining a categorical big‑step SOS format and a… | ||
| 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 | ||