Fast and Extensible Equality Saturation

egg-paper.pdf (2.0 MB)