What a Difference a Variable Makes
Abstract elided by the publisher.
Related papers
- Disjointness domains for fine-grained aliasing OOPSLA 2015
- Structuring Decompiled Graphs CC 1996
- QSOLE: Automatic QBF Equivalence Checking TACAS 2026
- Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs PLDI 2025
- Contextual values DLS 2008
- Engineering formal metatheory POPL 2008
- Polytypic Unification JFP 1998
- Making Variables Abstract: An Equational Theory for Russell POPL 1983