Gerrit Van Den Geest

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

Study Plan

2004-2005

• Software Technology Colloquium

Period 1

• Deficiencies (FP, GP, PC)

Period 2

• Implementation of Programming Languages
• Software Architecture

Period 3

• Program Transformation
• Distributed Object Systems

Period 4

• Advanced Functional Programming
• Automatic Program Analysis

2005-2006

Period 1

• Software Engineering
• Type Systems

Period 2, 3, and 4

• 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.