Custom Data Structures in E-Graphs

2 points| todsacerdoti | 1 day ago |uwplse.org