Hi, this is Tony, I am a member of the Programming Language Group of the University of Hong Kong (HKU PL Group), as a Ph.D student supervised by Prof. Bruno C. d. S. Oliveira. I am interested in programming languages design, type systems and recursive types.
Powered by Jekyll and Minimal Light theme.