CMSC 221/321
Homework set 2
Due: midnight, Thursday, Oct 13, 2011 

2.0: Reading: Lectures 3 and 4.

2.1: (Lectures 2,3) Evaluate (2 + 3 * 4) * (5 * 6) by hand using
  (a) SAE[BS]
  (b) SAE[SS]
  (c) SAE[CR]
  (d) SAE[CK]


2.2: (Lecture 4) Use both SAEL[CRv] and SAEL[CRn] to compute the value
of the following expression:

    let x = 4 in let y = 2 + 3 in x * (let z = 2 + x in z * z)


2.3: (Lecture 3) For SAE[CR], show that for any expression e, there
is a unique context C and redex r such that e = C[r].