Login
Roast topics
Find topics
Find it!
From:
text.marvinborner.de
(Uncensored)
subscribe
Hash-Based Approach to Building Shared λ-graphs
https://text.marvinborner.de/2023-05-30-16.html
links
backlinks
Roast topics
Find topics
Roast it!
An algorithm for deriving shared λ-graphs from expressions in pure lambda calculus by using hashes in a postorder tree traversal.
