APLAS 2024 (series) / Takashi Suwa
Registered user since Wed 15 May 2024
Name:Takashi Suwa
Country:Japan
Affiliation:Kyoto University and National Institute of Informatics
Personal website: https://gfngfn.github.io
X (Twitter): https://x.com/en_gfngfn
GitHub: https://github.com/gfngfn
Research interests:Programming languages, type systems, formal methods
Contributions
Using general profile