Automatic Autoprojection of Higher Order Recursive Equations
Abstract elided by the publisher.
Related papers
- Predicate abstraction and CEGAR for higher-order model checking PLDI 2011
- Parallel Functional Programming on Recursively Defined Data via Data-Parallel Recursion JFP 1999
- Higher-Order Equational Logic Programming POPL 1994
- Automated complexity analysis of Nuprl extracted programs Journal of Functional Programming JFP 2001
- Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl) ICFP 2023
- Crowfoot: A Verifier for Higher-Order Store Programs VMCAI 2012
- Domain-Theoretic Semantics for Functional Logic Programming POPL 2026
- HOLCF=HOL+LCF JFP 1999