Bastiaan HeerenI am a lecturer of the Computer Science Department of the Open Universiteit Nederland. Before I joined the Open Universiteit, I was a lecturer and a PhD student of the Software Technology Group at Universiteit Utrecht.
|
|
| At the Open Universiteit Nederland, we have started the Ideas project (Intelligent Domain-specific Exercise Assistants), which aims at developing tools for incrementally solving exercises. Our research focus is on strategies for exercises, which guide the reasoning in a particular domain. Some of this work is done in the context of the Surf-project on intelligent feedback. |
|
| I am also 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. |
|