CSE 341: Midterm Exam 2 Topic List, Spring 2003

Lisp topics:
  Closures and closure generators.
  Evaluation rules in general.
  
Functional programming topics:
  Composition and currying both in Lisp and ML.
  Lazy evaluation.

ML topics:

  Bindings (and how the environment model works)
  Types, including basic types, cartesian products, function
     types, tuples, lists, and user-defined types.
  ML's type inference system.
  ML's polymorphic types, such as 'a and ''a.
  ML's handling of overloaded operators such as +, etc.

Also, know the mathematical definitions of sets, binary relations,
  functions, and cartesian products.  Also, the non-associativity
  of the cartesian product.