WebHome
Gerrit Van Den Geest

Students
Name: 
Gerrit van den Geest (0444871)
Email: 
G.vandenGeest (at) students.uu.nl

----++ Study Plan

-----+++ 2004-2005

   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]]

Period 1
   * %Y% Deficiencies (FP, GP, PC)

Period 2

   * %Y% [[Master.Implementation of Programming Languages][Implementation of Programming Languages]] 
   * %Y% [[Master.Software Architecture][Software Architecture]] 

Period 3

   * %Y% [[Master.Program Transformation][Program Transformation]]
   * %Y% [[Master.Distributed Object Systems][Distributed Object Systems]]

Period 4

   * %Y% [[Master.Advanced Functional Programming][Advanced Functional Programming]] 
   * %Y% [[Master.AutomaticProgramAnalysis][Automatic Program Analysis]]

-----+++ 2005-2006

Period 1

   * %Y% [[Master.Software Engineering][Software Engineering]]
   * %Y% [[Master.Type Systems][Type Systems]]

Period 2, 3, and 4
 
   * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]]
   * Research and Thesis:

Type class extensions in Top:  Formulate the extensions to the class and instance mechanism of Haskell as described by Atze Dijkstra et al. within the Top library. Review the existing type class directives and find new ones to cope with the newly derived power.