People
Top
People involved
Currently
- Dr. Bastiaan Heeren
- PhD student
- Subject: improving type error messages for Haskell
- Developer and programmer of the Top library and the program analysis part of Helium
- His work resulted in a PhD thesis, available for download from this website.
Formerly
Former students who did a project in this area are
- Lukas Spee
- Arjen Langebaerd
- Arie Middelkoop
- Peter van Keeken
Details about their work and about other thesis work under my supervision can be found
here