Stefan Milius
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 3 in the filters
on a stage with
all 4 in the filters
who talks about the same things
- Lutz Schröder3 talks
- Stelios Tsampas7 talks
- Sergey Goncharov6 talks
- Henning Urbat6 talks
- Lars Birkedal35 talks
- Alejandro Aguirre10 talks
| title | conference | date |
|---|---|---|
| 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)… | ||
| 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… | ||
| One Eilenberg Theorem to Rule Them All | Symmetry, Logic, Computation 2016 | 2016-11-07 |
Claim: a single, general Eilenberg-style theorem that unifies more than a dozen prior correspondences and produces new instances (infinite words, weighted… | ||
| nothing matches | ||