Bastiaan Heeren I am a member of the Software Technology Group of Utrecht University, which is headed by Doaitse Swierstra. I recently finished my PhD thesis Top Quality Type Error Messages: feel free to contact me if you are interested in a copy. I am currently employed as a junior lecturer. If you have any questions or remarks, please send an e-mail to bastiaan@cs.uu.nl (or see the staff page for further contact information).

Education

• Preparatory Course for the Software Technology Master Programme
  • module Introduction to Functional Programming
  • module Grammars and Parsing
• Seminar on Feedback-oriented Static Analysis
• Grammars and Parsing (Bachelor)
• Implementation of Programming Languages
• Advanced Functional Programming

• Seminar on Type Systems
• Functional Programming (Bachelor)

Research Interests

Publications

• Type Class Directives (PADL'05)
• Scripting the Type Inference Process (ICFP'03)
• Helium, for Learning Haskell (HW'03)
• Constraint Based Type Inferencing in Helium (CP'03)

• Gebruiksvriendelijke compiler voor het onderwijs (Informatie, oktober 2004)
• Functioneel Programmeren met Helium (NIOC 2004)

Technical Reports

• A first attempt at type class directives
• Parametric Type Inferencing for Helium
• Generalizing Hindley-Milner Type Inference Algorithms
• Improving type-error messages in functional languages

The Helium Compiler

• The Helium Homepage
• Helium poster, presented at the Research Day of our institute
• Slides of the presentation at the Dutch FP-day 2004
• Slides at NIOC 2004: Functioneel Programmeren met Helium

Related work

• EDSL - Educational Domain Specific Languages, for instance Pan#
• A catalogue of Hugs error messages, collected by Simon Thompson
• The DrScheme and TeachScheme! projects.
• BANE - The Berkeley ANalysis Engine
• A Type Error Slicer for MiniML - an online demonstration
• The Chameleon type system
• SML examples to compare the error reportings from the W, M, UAE, IEI algorithms (broken link)