← Chapter 5 Names, Bindings, Type Checking, and Scopes