Registered user since Wed 28 Oct 2020
Name:Junyoung Jang
Country:Canada
Affiliation:McGill University
Personal website: https://Ailrun.github.io/en
GitHub: https://github.com/Ailrun
Research interests:Programming languages, Proof theory, Metaprogramming, Program representation and parsing
Contributions
POPL 2025-profile
View general profile
View general profile