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 2023 | Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile