PLDI 2025
Mon 16 - Fri 20 June 2025 Seoul, South Korea

Registered user since Sun 9 Apr 2023

Name:Yulong Huang
Country:United Kingdom
Affiliation:University of Cambridge
Research interests:Dependent type theory, Automated theorem proving, Type-preserving compilation

Contributions

Show activities from other conferences

Using general profile