Lectures

Lectures will generally be available on-line shortly after the class meets.

• Introduction - pdf
• Ruby - pdf
• OCaml - pdf
• Parameters and scoping - pdf
• Grammars - pdf
• Semantics - pdf
• Lambda calculus - pdf (Revised 11/15/06)
  type checking code
  Sample lambda expressions - Modeling of boolean logic and arithmetic as lambda expressions
• Java - pdf
• Threads - pdf
• OO + FP programming - pdf
• Garbage collection - pdf
• Exceptions - pdf
• History - pdf