Jinxu Zhao -

Not registered as user yet

Name:Jinxu Zhao

Affiliation:University of Hong Kong

Contributions

SPLASH 2022	Author of Revisiting Iso-Recursive Subtyping within the COVID Time Papers In Person-track
ECOOP 2022	Author of Elementary Type Inference within the Research Papers-track
SPLASH 2020	Author of Revisiting Iso-Recursive Subtyping within the OOPSLA-track Author of Revisiting Iso-Recursive Subtyping within the Posters-track Author of Revisiting Iso-Recursive Subtyping within the OOPSLA Artifacts-track