Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Bastiaan Heeren
[go: Go Back, main page]

Bastiaan Heeren 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).
UU

Education

I am involved in the following courses for the academic year 2006/2007: Over the last few years, I have participated in the following courses:

Research Interests

I am interested in improving the quality of type error messages for higher-order, functional programming languages (such as Haskell). For this purpose, we have designed the TOP framework for constraint-based type inference, which is used in the Helium Compiler. A detailed description of this framework is given in my PhD thesis.

Publications

Technical Reports

The Helium Compiler

The Helium Compiler

Related work

Some selected research papers can be found here.


Valid HTML 4.0! bastiaan@cs.uu.nl