Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xu Xue
conf.researchr.org general profile
ICFP 2023 profile
ICFP/SPLASH 2025 profile
SPLASH 2022 profile
Registered user since Wed 14 Jul 2021
Name:
Xu Xue
Affiliation:
The University of Hong Kong
Contributions
2025
SPLASH
Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
2023
ICFP
Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
2022
APLAS
Author of Applicative Intersection Types within the APLAS-track
Share
x
Fri 14 Nov 16:29