Assignment 1

Semantics of
Programming
Languages

Home
Literature
Assignments
Exams
Mailing List

All exercises of this assignment are taken from Mitchell's book.

Due Date: November 5th, 2001.

Number	Page	Points
2.2.2	51	5
2.2.4	56	5
2.2.5	56	5
2.2.7	56	10
2.2.8	57	40
2.2.11	59	5
2.2.12	59	10
2.2.14	64	15
2.3.2	72	5
Total		100

Hints

You save a lot of writing, if you omit type annotations in your solutions.
For some excercises, it helps to progam the solution in Standard ML.

Thorsten Brunklaus, Last Change: Do 01 Jan 1970 00:00:00 UTC.