Layered Modal Type Theories
Logic in Computer Science
2024-03-01 v4 Programming Languages
Abstract
We introduce layers to modal type theories, which subsequently enables type theories for pattern matching on code in meta-programming and clean and straightforward semantics.
Keywords
Cite
@article{arxiv.2305.06548,
title = {Layered Modal Type Theories},
author = {Jason Z. S. Hu and Brigitte Pientka},
journal= {arXiv preprint arXiv:2305.06548},
year = {2024}
}