Tag
binding
- Apr 29, 2026 Name Resolution and Binding a Query to the Catalog How an unresolved syntax tree becomes a typed expression tree: namespace scoping, column ambiguity, view expansion, and where implicit casts are inserted. databases
- Apr 22, 2026 Alpha-Equivalence and de Bruijn Indices in the Lambda Calculus Why the names of bound variables carry no information, how alpha-equivalence is defined, and how nameless indices turn it into structural equality with a shift operation. computation theory