Semantics of
Programming
Languages
Home
Literature
Assignments
Exams
Mailing List
All exercises of this assignment are taken from Mitchell's book.
Due Date: November 12th, 2001.
| Number | Page | Points |
|---|---|---|
| 2.3.4 | 78 | 10 |
| 2.3.5(a) | 78 | 10 |
| 2.4.7 | 84 | 5 |
| 2.4.8 | 84 | 10 |
| 2.4.9 | 84 | 5 |
| 2.4.17 | 91 | 5 |
| 2.4.18 | 91 | 5 |
| 2.4.22 | 96 | 5 |
| 2.4.23 | 96 | 5 |
| 2.4.24 | 96 | 5 |
| 2.5.5 | 100 | 5 |
| 2.5.6 | 100 | 10 |
| 2.5.7 | 101 | 20 |
| Total | 100 |
fun fix F = F(fn x => fix F x)