Registered user since Sun 9 Apr 2023
Name:Yulong Huang
Affiliation:University of Cambridge
Contributions
PLDI 2023 | Defunctionalization with Dependent Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile
Registered user since Sun 9 Apr 2023
Contributions
PLDI 2023 | Defunctionalization with Dependent Types | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |