Registered user since Tue 4 Oct 2022
Name:Han Xu
Country:China
Affiliation:Peking University
Contributions
POPL 2023 | Making a Type Difference: Subtraction on Intersection Types as Generalized Record Operations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2023-profile
View general profile
View general profile