TY  - RPRT
TI  - egg: Fast and Extensible Equality Saturation
AU  - Max Willsey
AU  - Chandrakana Nandi
AU  - Yisu Remy Wang
AU  - Oliver Flatt
AU  - Zachary Tatlock
AU  - Pavel Panchekha
PY  - 2020
DO  - 10.1145/3434304
UR  - https://arxiv.org/abs/2004.03082
ID  - 2004.03082
ER  -