Binding Videos for CS 3520/6520

• Binding 1 — let (4:55)

  Introduction for the let local binding form. Also, we switch our notation for describing Curly’s grammar to a more conventional Backus-Naur Form (BNF).

• Binding 2 — let (2:44)

  Adpating parse for let.

• Binding 3 — subst (5:47)

  Updating subst to handle local bindings. See let.rkt.

• Binding 4 — deferred substitution (3:34)

  PLAI§6. Deferring subsitution as motivated by performance concerns.

• Binding 5 — environments (4:35)

  The environment data structure and helper functions to implement deferred substitution. See env.rkt.

• Binding 6 — interp (4:49)

  Updating interp to use environments, which completes env.rkt.

• Binding 7 — terminology (4:46)

  Terminology: binding, bound, and free.