Egg: Fast and extensible equality saturation

Max Willsey, Chandrakana Nandi, Yisu Remy Wang, Oliver Flatt, Zachary Tatlock, Pavel Panchekha
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

Proc. ACM Program. Lang. 5(POPL)
Association for Computing Machinery
New York, NY, USA
January 2021
Note(s): equality saturation