Recursion Schemes in Coq
No abstract available.
Related papers
- A Type-Based Approach to Divide-and-Conquer Recursion in Coq POPL 2023
- Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM JFP 2023
- Types and Recursion Schemes for Higher-Order Program Verification APLAS 2009
- Space-Efficient Model-Checking of Higher-Order Recursion Schemes VMCAI 2025
- Practical Alternating Parity Tree Automata Model Checking of Higher-Order Recursion Schemes APLAS 2013
- On the relationship between higher-order recursion schemes and higher-order fixpoint logic POPL 2017
- Unifying structured recursion schemes - An Extended Study JFP 2016
- Unifying structured recursion schemes ICFP 2013