About Me

Hi, I’m Xu Xue, a PhD student at HKU Programming Languages Group. I’m currently working on contextual type inference by generlising techniques of bidirectional 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

• Applicative Intersection Types
  [PDF] [Artifact] [CoqDoc] [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