Registered user since Wed 27 Jul 2022

Name:Xiaoyan Ren
Country:China
Affiliation:Unaffiliated
Research interests:Programming Languages, Effect Systems, Type Systems, Haskell

Contributions