3 ms·
If, like me, you have never heard of e-graphs, this takes you straight to an introduction: https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index.html ht
by mannykannot 6y ago
If, like me, you have never heard of e-graphs, this takes you straight to an introduction:
https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index.html https://docs.rs/egg/0.6.0/egg/tutorials/_01_background/index...
- ztatlock 6y agoTate's POPL 2009 talk is also a great intro and companion to Willsey's POPL 2021 talk. https://www.youtube.com/watch?v=LKELTEOFY-s https://www.youtube.com/watch?v=LKELTEOFY-s https://www.cs.cornell.edu/~ross/publications/eqsat/ https://www.cs.cornell.edu/~ross/publications/eqsat/
- verdverm 6y agoAnd the paper for reference https://arxiv.org/abs/2004.03082 https://arxiv.org/abs/2004.03082