41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0cdc6-9645-7006-be5a-cb3bef2240b6

Lambda MicroEgg

Hey There Buddo! | Hot Leaves in a Cold Worlds. · published 20 September 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: 14
Words captured: 4,910

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://egraphs.org/

egraphs.org

https://www.philipzucker.com/egglog0/

philipzucker.com

https://arxiv.org/abs/2606.22734

arxiv.org

https://www.youtube.com/watch?v=h1CzZguA6DE

youtube.com

https://github.com/mwillsey/microegg

github.com

https://www.philipzucker.com/ho_unify/

philipzucker.com

https://en.wikipedia.org/wiki/Unification_(computer_science

en.wikipedia.org

https://dl.acm.org/doi/10.1145/3729326

dl.acm.org

https://github.com/philzook58/lambda-microegg

github.com

https://www.philipzucker.com/lambda-microegg/

philipzucker.com

https://pavpanchekha.com/blog/microegg.html

pavpanchekha.com

https://inria.hal.science/hal-03485227/document

inria.hal.science

https://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/proghol/extract.html

lix.polytechnique.fr

https://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/jlc91.pdf

lix.polytechnique.fr