Registered user since Sat 2 Mar 2019
Name:Xuejing Huang
Country:China
Affiliation:The University of Hong Kong
Twitter:https://twitter.com/hxjxsnow
GitHub:https://github.com/xsnow
Contributions
| ICFP 2021 | Distributing Intersection and Union Types with Splits and Duality (Functional Pearl) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2021-profile
View general profile
View general profile