Author:
Abbott Michael,Altenkirch Thorsten,Ghani Neil
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Is sized typing for Coq practical?;Journal of Functional Programming;2023
2. Computing with generic trees in Agda;Proceedings of the 7th ACM SIGPLAN International Workshop on Type-Driven Development;2022-09-06
3. Multi-dimensional Arrays with Levels;Electronic Proceedings in Theoretical Computer Science;2020-05-01
4. Deep Induction: Induction Rules for (Truly) Nested Types;Lecture Notes in Computer Science;2020
5. Partiality, State and Dependent Types;Lecture Notes in Computer Science;2011