Exam #1 Major Topics

[TLS all and EoPL Chapters 1-2]

1) Scheme

2) Grammars and Automata

3) Define-datatype and cases syntax.

4) Binding & Scope

  - Environments

  - free and bound variables

5) Lambda Calculus

   - Church numerals and Booleans.