加载中…
2023-05-11
Layered Modal Type Theories
Jason Z. S. HuBrigitte Pientka
文献摘要
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.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本