Analysis of the Equality Relations for the Program Terms
Abstract elided by the publisher.
Related papers
- Stable relations and abstract interpretation of higher-order programs ICFP 2020
- Better Together: Unifying Datalog and Equality Saturation PLDI 2023
- Propositional equality for gradual dependently typed programming ICFP 2022
- A Coherence Theorem for Martin-Löf's Type Theory JFP 1998
- Pure type systems with judgemental equality JFP 2006
- Dis/Equality Graphs POPL 2025
- Fast interprocedural linear two-variable equalities TOPLAS 2011
- Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs PLDI 2025