3/26/2026
•
EN
Alpha Equivalent Hash Consing with Thinnings
Explores alpha-equivalent hash consing using thinnings (bitvectors) for efficient term sharing in lambda calculus and compiler analysis.