SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / 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

Show activities from other conferences

SPLASH 2023-profile
View general profile