ACM SIGPLAN - [EGRAPHS24] Equivalence Hypergraphs: E-Graphs for Monoidal Theories
Sign in to continue reading, translating and more.