conf.researchr.org / Yuito Murase
Registered user since Sat 24 Aug 2024
Name:Yuito Murase
Country:Japan
Affiliation:Kyoto University, Japan
Personal website: https://www.fos.kuis.kyoto-u.ac.jp/~murase/
X (Twitter): https://x.com/bindingscope
Research interests:Type System, Metaprogramming, Modal Types, Multi-Stage Programming
Contributions