WebHome
Address
Publications
Technical Reports
Talks
Theses Superv.
Software
Activities
Schedule
Curriculum Vitae
Research
Projects
Teaching
Fp
AFP
IPT
TS
Students
Master Projects
Center
Master Program
Archive
STOP
Pictures and Movies
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
Supervised Theses
Swierstra
I have been promotor of the following Ph.D. theses: | *Name* | *Date* | *Title* | *Co-promotor* | |Matthijs Kuiper |1989, Nov 29 |Parallel Attribute Grammar Evaluation| | |Ernst Lippe |1992, Okt 19 |[[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Lippe.pdf][CAMERA: Support for Distributed Cooperative Work]]| | |Harald Vogt |1993, Feb 1 |[[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Vogt.pdf][Higher Order Attribute Grammars]]| | |Patrick Lentfert | 1993, Apr 5 |Distributed Hierarchical Algotrithms| | |Nico Verwer |1993, Sep 15 |Abstract Data Conversion| | |Lex Augusteijn |1993, Okt 7 |[[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Augustejn.pdf][Functional programming, Program Transformations and Compiler Construction]]| with Frans Kruzeman-Arets| |Maarten Pennings |1994, Nov 25 |[[http://www.cs.uu.nl/docs/research/publication/Theses.html">Generating Incremental Attribute Evaluators]]| | |Rob Udink |1995, Sep 15 |<A HREF="http://www.cs.uu.nl/docs/research/publication/Theses.html">Program Refinement in UNITY-like Environments|Joost Kok| |[[http://www.cs.uu.nl/people/wishnu/][Wishnu Prasetya ]] |1995, Oct 9 |<A HREF="http://www.cs.uu.nl/docs/research/publication/Theses.html">Mechanically Supported Design of Self-stabilising Algorithms| | |[[http://www.di.uminho.pt/~jas/][Joao Baptiste Saraiva]]|1999, Dec 9 |<A HREF="http://www.cs.uu.nl/people/doaitse/Papers/Theses/Saraiva.pdf">Purely Functional Implementation of Attribute Grammars| M.F. Kuiper| |[[http://www.iti.upv.es/~tanja/][Tanja Ernestina Jozefina Vos]] |2000, Jan 10|<A HREF="http://www.cs.uu.nl/people/doaitse/Papers/Theses/Vos.pdf">UNITY in Diversity: A Stratified Approach to the Verification Of Distributed Algorithms| with John-Jules. Meyer| |[[https://research.microsoft.com/en-us/um/people/daan/][Daan Leijen ]] |2003, nov 4 | [[http://www.cs.uu.nl/~daan/download/papers/phd-thesis.pdf][The lambda abroad: A Functional Approach to Software Components]]|Erik Meijer| |[[http://www.cs.uu.nl/people/andres/][Andres Löh ]] |2004, sep 2 | [[http://www.cs.uu.nl/people/doaitse/Papers/Theses/Andres.pdf][Exploring Generic Haskell]] | [[http://www.cs.uu.nl/people/johanj][Johan Jeuring]]| |Martijn Schrage |2004, okt 15 | [[http://igitur-archive.library.uu.nl/dissertations/2004-1115-104001/UUindex.html][Proxima: a presentation-oriented editor for structured documents]] | [[http://www.cs.uu.nl/people/johanj][Johan Jeuring]], Lambert Meertens | |[[http://www.cs.uu.nl/people/bastiaan/][Bastiaan Heeren ]] |2005, sep 20| [[http://www.cs.uu.nl/people/doaitse/Papers/Theses/TopQuality.pdf][Top Quality Type Error Messages]]|[[http://www.cs.uu.nl/people/jurriaan][Jurriaan Hage]]| |[[http://www.cs.uu.nl/people/atze/][Atze Dijkstra ]] |2005, nov 14| [[http://igitur-archive.library.uu.nl/dissertations/2005-1115-200019/full.pdf][Stepping through Haskell]]| | |[[http://www.cs.uu.nl/people/eelco/][Eelco Dolstra]] |2006, Jan 18| [[%ATTACHURL%/phd-thesisDolstra.pdf][The Purely Functional Software Deployment Model]]|[[http://www.cs.uu.nl/people/visser][Eelco Visser]]| |[[http://martin.bravenboer.name/][Martin Bravenboer]] | 2008, Jan 21 | [[%ATTACHURL%/phd-thesis-MartinBravenboer.pdf][Exercises in Fee Syntax]]| [[http://www.cs.uu.nl/people/visser][Eelco Visser]]| |[[mailto:alexey@cs.uu.nl][Alexey Rodriguez Yakushev]] | 2009, May 20 |[[http://igitur-archive.library.uu.nl/dissertations/2009-0518-200422/UUindex.html][Towards Getting Generic Programming Ready for Prime Time]] | [[http://www.cs.uu.nl/people/johanj][Johan Jeuring]]| |[[mailto:karina@cs.uu.nl][Karina Olmos]] | 2009, May 27 |[[http://igitur-archive.library.uu.nl/dissertations/2009-0619-200530/UUindex.html][Strategies for Context Sensitive Program Transformation]] | [[http://www.cs.uu.nl/people/visser][Eelco Visser]]| | Arthur Baars | 2009, Dec 9 | [[http://igitur-archive.library.uu.nl/dissertations/2009-1202-200125/UUindex.html ][Embedded Compilers]] | | | Arie Middelkoop | 2012, Jan 9 | [[http://igitur-archive.library.uu.nl/dissertations/2011-1223-200414/UUindex.html][Inference of Program Properties with Attribute Grammars, Revisited]] | [[http://www.cs.uu.nl/people/atze][Atze Dijkstra]] |
Topic attachments
I
Attachment
Action
Size
Date
Who
Comment
pdf
phd-thesis-MartinBravenboer.pdf
manage
1724.5 K
10 Feb 2009 - 17:00
DoaitseSwierstra