SPLASH 2020 (series) / Yaoda Zhou

Registered user since Wed 19 Aug 2020
Name:Yaoda Zhou
Affiliation:University of Hong Kong
Contributions
SPLASH 2020 | Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping Revisiting Iso-Recursive Subtyping Session Chair of T-2 (part of OOPSLA) | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
SPLASH 2020-profile
View general profile
View general profile