conf.researchr.org / Xu Xue
Registered user since Wed 14 Jul 2021
Name:Xu Xue
Contributions
| ICFP 2023 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track |
| APLAS 2022 | Author of Applicative Intersection Types within the APLAS-track |