TY  - RPRT
TI  - Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs
AU  - Thomas Koehler
AU  - Phil Trinder
AU  - Michel Steuwer
PY  - 2022
UR  - https://arxiv.org/abs/2111.13040
ID  - 2111.13040
ER  -