|Required:||Structure of Typed Programming Languages. David A. Schmidt, MIT Press 1995.|
|Optional:||Types and Programming Languages. Benjamin Pierce, MIT Press 2002|
The lectures do not follow the textbook to the letter. Additional lecture notes will be made available for some of the advanced topics.
Assignments will be collected in class on due date (often an electronic submission will be required). As the solutions may (and often will) be discussed on the due date in class, no late assignments can be accepted.
To pass the course, a student must pass the final examination.