Lutz Schröder
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 8 in the filters
who talks about the same things
- Stefan Milius3 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)… | ||
| Generic Model Checking for Modal Fixpoint Logics in COOL-MC | VMCAI 2024 | 2024-01-15 |
COOL-MC is a model checker for coalgebraic μ-calculi that is parametric in branching type and modal operators and implements both a lazy local solver that… | ||
| 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 | ||