corpus.blog
56,966 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087c2-0ac1-71a5-ba67-2e1500ab1eae

Lifting E-Graphs

Hey There Buddo! | Hot Leaves in a Cold Worlds. · published 25 May 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at philipzucker.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
17
Words captured
9,309

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://www.philipzucker.com/thin_egraph/
philipzucker.com
https://www.philipzucker.com/thin_hash_cons_codebruijn/
philipzucker.com
https://www.philipzucker.com/dump_calculus/
philipzucker.com
https://www.philipzucker.com/thin_monus_uf/
philipzucker.com
https://www.philipzucker.com/egraph2024_talk_done/
philipzucker.com
https://www.philipzucker.com/asymmetric_complete/
philipzucker.com
https://pldi26.sigplan.org/details/egraphs-2026-papers/13/Lifting-E-Graphs-A-Function-Isn-t-a-Constant
pldi26.sigplan.org
https://www.philipzucker.com/thin1/
philipzucker.com
https://arxiv.org/abs/1807.04085
arxiv.org
https://www.csl.sri.com/papers/bachmairtiwari00/cade00-CC.pdf
csl.sri.com
https://www.cl.cam.ac.uk/~amp12/papers/nomlfo/nomlfo-draft.pdf
cl.cam.ac.uk
https://dimasamoz.github.io/docs/talks/2024-04-WG6.pdf
dimasamoz.github.io
https://github.com/philzook58/slotteduf
github.com
https://arxiv.org/abs/2412.03124
arxiv.org
https://hal.science/hal-00384683/document
hal.science
https://www.jaist.ac.jp/project/maxcomp/
jaist.ac.jp
https://github.com/yaspar-org/semi-persistent/blob/main/egraph/doc/design/00-table-of-contents.md
github.com