Louden 
Read: Chapters 1,2,3,4,5,6,7,8,9 (except 9.8),10,11,12,13.1,13.2 
Important: Chapters 5,6,10,11,12,13 

Ramsey 
Read: Chapters 1,2,3,5,7,9,10 


Important topics (I will not ask 
for definitions but you will need 
to understand the concepts to answer the questions

-------------------------------------------------

operational semantics 
abstract syntax trees 
symbol tables 
semantics 
pass-by-value, pass-by-reference 
eager and lazy evaluation 
datatype and recursive functions over datatypes 
classes, objects, inheritance, dynamic binding 
types in ML 
higher-order functions, currying 
depth-first search, search trees in Prolog 
signatures/structures/functors and Abstract Data Types 
unification 
type checking 
type inference 
lexical and dynamic scoping 
static typing and dynamic typing