Litao Zhou -

Registered user since Thu 4 Jun 2020

Name:Litao Zhou

Country:China

Affiliation:University of Hong Kong

Contributions

POPL 2023	Author of Recursive Subtyping for All within the POPL-track
SPLASH 2022	Author of Foundationally Sound Annotation Verifier via Control Flow Splitting within the Student Research Competition-track