Radosław Waśko
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 1 in the filters
on a stage with
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Theoretical Foundations for Objects with Pattern Matching and GADT-Style Reasoning | OOPSLA 2022 | 2022-12-05 |
Introduces the cDOT calculus as a formal foundation that encodes subtyping information uncovered by pattern matching, builds on pDOT and DOT-style structural… | ||
| nothing matches | ||