Zhixuan Yang
where else to find them
no profile links on file
what they talk about
where they keep going back
- POPL2 editions2024–2026
on a stage with
who talks about the same things
- Nicolas Wu25 talks
- Donnacha Oisín Kidney5 talks
- Ugo Dal Lago14 talks
- Xavier Van de Woestyne5 talks
- Wenhao Tang8 talks
- Yizhou Zhang13 talks
| title | conference | date |
|---|---|---|
| Handling Higher-Order Effectful Operations with Judgemental Monadic Laws | POPL 2026 | 2026-01-11 |
Presents a core calculus for higher-order effectful operations with higher-kinded impredicative polymorphism and optional recursion, where handlers live in… | ||
| Algebraic Effects Meet Hoare Logic in Cubical Agda | POPL 2024 | 2024-01-14 |
Library formalises algebraic effects with equations in Cubical Agda using quotient types instead of setoids, provides a free model plus concrete models, and… | ||
| Modular Models of Monoids with Operations | ICFP 2023 | 2023-09-04 |
A categorical framework presents equational theories of monoids equipped with arbitrary operations and shows an explicit monoid-theory correspondence: the… | ||
| nothing matches | ||