Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs
@article{schneider_pldi25,
author = {Rudi Schneider and
Marcus Rossel and
Amir Shaikhha and
Andr{\'{e}}s Goens and
Thomas Koehler and
Michel Steuwer},
title = {Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs},
journal = {Proc. {ACM} Program. Lang.},
volume = {9},
number = {{PLDI}},
pages = {1888--1910},
year = {2025},
url = {https://doi.org/10.1145/3729326},
doi = {10.1145/3729326},
timestamp = {Thu, 11 Sep 2025 01:00:00 +0200},
}