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},
}