Registered user since Sun 12 Sep 2021

Name:Yichen Xu
Country:China
Affiliation:Beijing University of Posts and Telecommunications
Personal website:https://www.yichenxu.me
Research interests:Programming Language

Contributions

Scala 2021 Author of Implementing Path-Dependent GADT Reasoning for Scala 3 within the Scala-track