Publications

2022

Junyoung JangSamuel GélineauStefan MonnierBrigitte Pientka. (2022). Mœbius: Metaprogramming Using Contextual Types: The Stage where System F can Pattern Match on Itself. In Proceedings of the ACM on Programming Languages, Volume 6, Issue POPL. https://dl.acm.org/doi/abs/10.1145/3498700

2021

Junyoung JangSamuel GélineauStefan MonnierBrigitte Pientka. (2021). Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version). In arXiv. https://doi.org/10.48550/arXiv.2111.08099
Jacob ErringtonJunyoung JangBrigitte Pientka. (2021). Harpoon: Mechanizing Metatheory Interactively (System Description). In André PlatzerGeoff Sutcliffe(Eds.), Automated Deduction - CADE 28. https://doi.org/10.1007/978-3-030-79876-5_38