About Me

Hi, I’m Xu Xue, a PhD student at HKU Programming Languages Group. I’m currently working on local type inference in contextual typing.

Previously I’ve got my MPhil degree from HKU in 2023 and BEng degree from Nankai University in 2020. I did two internships before doing PL research: Ubisoft and Lilith Games.

Publications

• Contextual Typing
  [PDF] [Artifact] [Agda]
  Xu Xue and Bruno C. d. S. Oliveira
  In International Conference on Functional Programming (ICFP 2024)
• Applicative Intersection Types
  [PDF] [Artifact] [Coq] [Slides]
  Xu Xue, Bruno C. d. S. Oliveira and Ningning Xie
  In Asian Symposium on Programming Languages and Systems (APLAS 2022)

MPhil Thesis

• Applicative Intersection Types
  [PDF] [Artifact] [Slides]
  The University of Hong Kong

Tutorship (TA)

COMP3258 Functional Programming, HKU, 2023 Fall
COMP3258 Functional Programming, HKU, 2022 Fall

Academic Services

ICFP’23 AEC, OOPSLA’24 AEC

Contact

Email: xxue at cs.hku.hk