TY  - RPRT
TI  - DeLaM: A Dependent Layered Modal Type Theory for Meta-programming
AU  - Jason Z. S. Hu
AU  - Brigitte Pientka
PY  - 2024
UR  - https://arxiv.org/abs/2404.17065
ID  - 2404.17065
ER  -