Author:
Firsov Denis,Blair Richard,Stump Aaron
Publisher
Springer International Publishing
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Type-Based Approach to Divide-and-Conquer Recursion in Coq;Proceedings of the ACM on Programming Languages;2023-01-09
2. Impredicative Encodings of Inductive-Inductive Data in Cedille;Lecture Notes in Computer Science;2023
3. Monotone recursive types and recursive data representations in Cedille;Mathematical Structures in Computer Science;2021-06
4. Zero-Cost Constructor Subtyping;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
5. Efficient lambda encodings for Mendler-style coinductive types in Cedille;Electronic Proceedings in Theoretical Computer Science;2020-05-01