Winda

Explains lexical environments as linked frames, variable lookup with shadowing and unbound-variable errors, and extending local bindings for let expressions and pattern matches.

Save to open this file