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