Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Xu Xue
conf.researchr.org general profile
ICFP 2023 profile
SPLASH 2022 profile
Registered user since Wed 14 Jul 2021
Name:
Xu Xue
Contributions
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
Wed 14 Aug 20:18