Registered user since Sat 24 Aug 2024
Name:Yuito Murase
Bio:
I am a Ph.D. student at Kyoto University, supervised by Atsushi Igarashi. I study multi-stage programming and modal lambda calculi.
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
Using general profile