Litao Zhou

Ph.D. Candidate
University of Hong Kong
ltzhou (at) cs.hku.hk

My Paper Reading List

This is a list of papers I have read or am reading. Most of them are related to my research interests. I do not include papers from my research group, which can be found here.

Recursive Types

Programming Language Designs

Powered by Jekyll and Minimal Light theme.