Registered user since Wed 15 May 2024
Name:Takashi Suwa
Country:Japan
Affiliation:Kyoto University and Imiron
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