Layered Modal Type Theories
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2023
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866929258766532608 |
|---|---|
| author | Hu, Jason Z. S. Pientka, Brigitte |
| author_facet | Hu, Jason Z. S. Pientka, Brigitte |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2305_06548 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Layered Modal Type Theories Hu, Jason Z. S. Pientka, Brigitte Logic in Computer Science Programming Languages 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. |
| title | Layered Modal Type Theories |
| topic | Logic in Computer Science Programming Languages |
| url | https://arxiv.org/abs/2305.06548 |