Web Home

This is the Wiki homepage (under construction) of the master course on type systems taught in May and June 2003. Until further notice please refer to the website that is reachable through the EducationPage.

• CourseDescription? : description of topics of the course
• EducationPage: information on the official department site with times and rooms
• CourseSchedule? : detailed planning of lectures and assignments (to be done)

• LabAssignments?

• ExerciseResults?