Tim Süberkrüb
where else to find them
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 4 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Deriving Dependently-Typed OOP from First Principles | OOPSLA 2024 | 2024-10-20 |
Derives a dependently typed object-oriented fragment by duality and gives a concrete calculus with two symmetric language fragments plus type- and… | ||
| Introduction and Elimination, Left and Right | ICFP 2022 | 2022-09-11 |
Claims that four rule choices—right/left introduction and elimination—yield four distinct program structures but are equally expressive through mechanical… | ||
| nothing matches | ||