conf.researchr.org / Zhan Shi
Registered user since Wed 11 Oct 2023
Name:Zhan Shi
Country:Japan
Affiliation:Graduate School of Informatics, Kyoto University
X (Twitter): https://x.com/darkf1ames
GitHub: https://github.com/dark-flames
Research interests:Dependent Type Theory, Gradual Typing
Contributions