Types and Recursion Schemes for Higher-Order Program Verification
No abstract available.
Related papers
- Types and higher-order recursion schemes for verification of higher-order programs POPL 2009
- Higher-order multi-parameter tree transducers and recursion schemes for program verification POPL 2010
- Verifying higher-order functional programs with pattern-matching algebraic data types POPL 2011
- Linearity in higher-order recursion schemes POPL 2018
- A type-directed abstraction refinement approach to higher-order model checking POPL 2014
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Space-Efficient Model-Checking of Higher-Order Recursion Schemes VMCAI 2025
- On the relationship between higher-order recursion schemes and higher-order fixpoint logic POPL 2017