Andreia Mordido
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 2 in the filters
on a stage with
- Ankush Dasonce
- Frank Pfenningonce
- Henry DeYoungonce
all 6 in the filters
who talks about the same things
- James McKinna2 talks
- Frank Pfenning6 talks
- Janek Spaderna3 talks
- Ankush Das6 talks
- Peter Thiemann15 talks
- Andreas Nuyts3 talks
| title | conference | date |
|---|---|---|
| Parametric Subtyping for Structural Parametric Polymorphism | POPL 2024 | 2024-01-14 |
Paper proves structural subtyping is undecidable for recursive type constructors and defines parametric subtyping as a decidable fragment that enforces… | ||
| Parameterized Algebraic Protocols | PLDI 2023 | 2023-06-17 |
The work defines algebraic session types that name recursion like algebraic datatypes and claim type equivalence becomes linear-time nominal check instead of… | ||
| nothing matches | ||