Author:
Danielsson Nils Anders,Altenkirch Thorsten
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Lecture Notes in Computer Science;A. Abel,2007
2. Abel, A., Altenkirch, T.: A predicative analysis of structural recursion. Journal of Functional Programming 12(1), 1–41 (2002)
3. The Agda Team. The Agda Wiki (2010), http://wiki.portal.chalmers.se/agda/
4. Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4), 575–631 (1993)
5. Barthe, G., Frade, M.J., Giménez, E., Pinto, L., Uustalu, T.: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14(1), 97–141 (2004)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parametric Subtyping for Structural Parametric Polymorphism;Proceedings of the ACM on Programming Languages;2024-01-05
2. A Logical Framework with Higher-Order Rational (Circular) Terms;Lecture Notes in Computer Science;2023
3. Revisiting Iso-Recursive Subtyping;ACM Transactions on Programming Languages and Systems;2022-09-21
4. Polarized Subtyping;Programming Languages and Systems;2022
5. Revisiting iso-recursive subtyping;Proceedings of the ACM on Programming Languages;2020-11-13