Registered user since Wed 27 Jul 2022
Name:Xiaoyan Ren
Country:China
GitHub: https://github.com/re-xyr
Research interests:Programming Languages, Effect Systems, Type Systems, Haskell
Contributions
2022
ICFP 2022-profile
View general profile
View general profile