Master Course
Type Systems

WebHome
- Education Page
- Description?
- Schedule?
- Assignments?

Center
Master Program

Web Home

<font size=+3><b>Master Course Type Systems</b></font>

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 [[http://www.cs.uu.nl/docs/vakken/ts/index.htm][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

<!--
   * Set PREV_SKIN = notitle
-->

Master CourseType Systems

Web Home

Master Course
Type Systems