SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Yaoda Zhou

Registered user since Wed 19 Aug 2020

Name:Yaoda Zhou
Country:China
Affiliation:University of Hong Kong
Research interests:Type Theory

Contributions

APLAS 2022 A Calculus with Recursive Types, Record Concatenation and Subtyping
SPLASH 2022 Revisiting Iso-Recursive Subtyping
Show activities from other conferences

Using general profile