CSCI 6220
Fall 2010
Exercise Set 2

Due: at the start of class on Friday, 17.

Most of these exercises are from Thompson.

1. 5.8
2. 5.11
3. 5.16
4. What is the most general polymorphic type of function p defined by
   p x y = (x,y,y)?
5. What is the most general polymorphic type of function q defined by
   q x y = x y y? Think carefully about it.
6. 5.21
7. 5.22
8. 5.23
9. 6.1
10. 6.2