Registered user since Thu 12 Dec 2019
Name:Xiao He
Country:China
Affiliation:University of Science and Technology Beijing
Research interests:Bidirectional transformation, domain-specific language
Contributions
POPL 2024-profile
View general profile
View general profile