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 2022 | Mœbius: Metaprogramming using Contextual Types: The Stage Where System F Can Pattern Match on Itself | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile