7/10/2026
•
EN
Lifting Terms: Making Well Scoped Syntax Dumber
Explores alternative representations for terms in programming languages, moving beyond standard lists to dictionaries, BDDs, and parameterized families.