Web Home

MTCH

---+ Master Seminar Type Checking

<div class="newsbar">
%INCLUDE{WebNews}%
</div>

This is the homepage of the master seminar on type checking that will be taught in the fourth period
of the 2011-2012 academic year. More information still to follow...

<!--

-----+++ Overview

   * [[Course Description]]: description of topics of the course
   * [[Education Page]]: information on the official department site with times and rooms
   * [[Course Schedule]]: detailed planning of lectures with slides
   * [[https://wwwsec.cs.uu.nl/education/inschrijf.php?vak=INFOAPA&jaar=2009][Registered Students]]: students registered in Osiris


-----+++ History

   * [[Apa0506.WebHome][2005/2006 installment of the course]]
   * [[http://www.cs.uu.nl/docs/vakken/apa/apaindex.html][2003/2004 installment of the course]]
-->

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