%0 Journal Article %1 journals/pacmpl/CaoKNWTP23 %A Cao, David %A Kunkel, Rose %A Nandi, Chandrakana %A Willsey, Max %A Tatlock, Zachary %A Polikarpova, Nadia %D 2023 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 396-424 %T babble: Learning Better Abstractions with E-Graphs and Anti-unification. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#CaoKNWTP23 %V 7

@article{journals/pacmpl/CaoKNWTP23, added-at = {2023-02-10T00:00:00.000+0100}, author = {Cao, David and Kunkel, Rose and Nandi, Chandrakana and Willsey, Max and Tatlock, Zachary and Polikarpova, Nadia}, biburl = {https://www.bibsonomy.org/bibtex/29acd27717e5c199c178f20fa2de052ba/dblp}, ee = {https://doi.org/10.1145/3571207}, interhash = {71cd4463286e2149133000a989d9d173}, intrahash = {9acd27717e5c199c178f20fa2de052ba}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {396-424}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {babble: Learning Better Abstractions with E-Graphs and Anti-unification.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#CaoKNWTP23}, volume = 7, year = 2023 }