Chun Yin Chau
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
- Andong Fan3 talks
- Lionel Parreaux19 talks
- Chen Cui3 talks
- Aleksander Boruch-Gruszecki9 talks
- Shengyi Jiang5 talks
- Wenjia Ye5 talks
| title | conference | date |
|---|---|---|
| The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic(…) | POPL 2026 | 2026-01-11 |
Distills BAS to five families of characteristic Boolean homomorphisms and uses them to give a direct semantic soundness proof that subtyping never equates… | ||
| When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-C... | POPL 2024 | 2024-01-14 |
Introduces a declarative system F{≤} and an algorithm SuperF that uses multi‑bounded polymorphism to infer first‑class polymorphic types, encoding… | ||
| MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types | OOPSLA 2022 | 2022-12-05 |
MLstruct claims to combine principal polymorphic inference with first-class unions, intersections and equirecursive structural types by treating type… | ||
| nothing matches | ||