TY  - RPRT
TI  - Staged Compilation with Two-Level Type Theory
AU  - András Kovács
PY  - 2022
DO  - 10.1145/3547641
UR  - https://arxiv.org/abs/2209.09729
ID  - 2209.09729
ER  -