Registered user since Wed 19 Aug 2020
Name:Yaoda Zhou
Country:China
Affiliation:University of Hong Kong
Research interests:Type Theory
Contributions
SPLASH 2022-profile
View general profile
View general profile
- Attending
- Program
- Organization
- APLAS 2022 Committees
- Program Committee
- Artifact Evaluation Committee
- Track Committees
- SPLASH
- Program Committee
- Steering Committee
- Contributors
- People Index
- Tracks
- APLAS 2022
- Research Artifacts
- APLAS
- SPLASH 2022
- SPLASH-E
- Search
- Series