APLAS 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
co-located with SPLASH 2022
Yaoda Zhou

Registered user since Wed 19 Aug 2020

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


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

SPLASH 2022-profile
View general profile