Guided Equality Saturation

Thomas Koehler, Andrés Goens, Siddharth Bhat, Tobias Grosser, Phil Trinder, Michel Steuwer
January 2024
PDF DOI
Type
Journal article
Publication
Proc. of the ACM on Programming Languages