Xu Xue

I'm a MPhil student at The University of Hong Kong, and a member of HKU Programming Languages Group. My current research is about function overloading via intersection types, advised by Bruno C. d. S. Oliveira.

Previously, I got my Bachelor's degree at Nankai University in 2020 and was an intern at Ubisoft China and Lilith Games.


Email: xxue at cs.hku.hk

Rm 31, Robert Black College, The University of Hong Kong


My Notes on Programming Languages, History of Programming Languages