Yaoda Zhou
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
who talks about the same things
- Litao Zhou4 talks
- Yaozhu Sun3 talks
- Xuejing Huang4 talks
- Ondřej Lhoták11 talks
- Shengyi Jiang5 talks
- Wenjia Ye5 talks
| title | conference | date |
|---|---|---|
| Recursive Subtyping for All | POPL 2023 | 2023-01-15 |
Presents F_{≤}^{μ}, a kernel F_{≤} extension that adds iso-recursive types plus nominal unfolding rules and new structural folding/unfolding rules, and proves… | ||
| Revisiting Iso-Recursive Subtyping | SPLASH 2022 | 2022-12-05 |
Presents a new declarative finite unfolding specification that says two mu-types are subtypes iff all same-depth finite unfoldings are subtypes, proves the… | ||
| Revisiting Iso-Recursive Subtyping | OOPSLA 2020 | 2020-11-15 |
Proposes that iso-recursive subtyping is equivalent to checking all finite n-times unfolding inclusions, and then shows an algorithmic reduction: only 1- and… | ||
| nothing matches | ||