profile

Zijie Zhou

Research Areas: Type Theory, Category Theory, Functional Programming Language
CV Publications