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