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