Chun Yin Chau

According to our database, Chun Yin Chau authored at least 3 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types.

Chun Yin Chau, Lionel Parreaux

Proc. ACM Program. Lang., 2026

2024

When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism.

Lionel Parreaux, Aleksander Boruch-Gruszecki, Andong Fan, Chun Yin Chau

Proc. ACM Program. Lang., January, 2024

2022

MLstruct: principal type inference in a Boolean algebra of structural types.

Lionel Parreaux, Chun Yin Chau

Proc. ACM Program. Lang., 2022