@misc{indiciae484b5fb64958,
  title = {DeLaM: A Dependent Layered Modal Type Theory for Meta-programming},
  author = {Jason Z. S. Hu and Brigitte Pientka},
  year = {2024},
  url = {https://arxiv.org/abs/2404.17065},
  note = {Source identifier: 2404.17065}
}