Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Chun Yin Chau
conf.researchr.org general profile
POPL 2024 profile
POPL 2026 profile
Registered user since Wed 17 Jan 2024
Name:
Chun Yin Chau
Affiliation:
HKUST (The Hong Kong University of Science and Technology)
Contributions
2026
POPL
Author of The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types within the POPL-track
2024
POPL
Author of When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism within the POPL-track
Share
x
Mon 8 Dec 20:54
