WebHome
Center
Master Program
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Erik Knoop
Students
Name: Erik Knoop <br> Email: eknoop@cs.uu.nl <br> Homepage: ----++ Planning -----+++ 2002-2003 * [[Master.ColloquiumSoftwareTechnology][Software Technology Colloquium]] (one meeting each week during year 1 and 2) Period 1 * [[Master.Generic Programming][Generic Programming]] * Introduction in Software Technology Period 2 * [[Master.Software Engineering][Software Engineering]] * [[Master.AutomaticProgramAnalysis][Automatic Program Analysis]] Period 3 * [[Master.Data Base Architectures][Data Base Architectures]] * Besliskunde Period 4 * [[Master.Program Verification][Program Verification]] * Internetprogramming Period 5 * [[Master.Distributed Object Systems][Distributed Object Systems]] * [[Master.Type Systems][Type Systems]] ----+++ 2004-2005 Period 1 * [[http://www.cs.uu.nl/groups/ST/twiki/bin/view/Uhc/WebHome][Implementation of UHC]] * Thesis proposal Period 2 * [[Master.XML applications of Generic Programming][XML application of Generic Programming]] * Thesis proposal Period 3 * [[https://wwwsec.cs.uu.nl/twiki/bin/view/Thesis/MasterProjectOfErikKnoop][Thesis page]] Period 4 * [[https://wwwsec.cs.uu.nl/twiki/bin/view/Thesis/MasterProjectOfErikKnoop][Thesis page]] -----++ Thesis Project -----+++ Topic/Area Extendible records in context of the Utrecht Haskell Compiler (UHC). -----+++ Project Project title: Extendible Records <br> Advisor: Main.AtzeDijkstra <br> Start date: <br> End date: See for further details my [[https://wwwsec.cs.uu.nl/twiki/bin/view/Thesis/MasterProjectOfErikKnoop][thesis page]].