Lazy Unification with Simplification
No abstract available.
DOI 10.1007/3-540-57880-3_18
Related papers
- Unification for Subformula Linking under Quantifiers CPP 2024
- Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism ECOOP 2023
- CRIS: The Power of Imagination in Specification and Verification (Invited Talk) CPP 2025
- Partial Evaluation of Functional Logic Programs TOPLAS 1998
- Avoiding Signature Avoidance in ML Modules with Zippers POPL 2025
- Type-indexed rows POPL 2001
- Efficient Simplification of Bisimulation Formulas TACAS 1995
- An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs SAS 2011