TY  - RPRT
TI  - Moebius: Metaprogramming using Contextual Types -- The stage where System F can pattern match on itself (Long Version)
AU  - Junyoung Jang
AU  - Samuel Gélineau
AU  - Stefan Monnier
AU  - Brigitte Pientka
PY  - 2021
UR  - https://arxiv.org/abs/2111.08099
ID  - 2111.08099
ER  -