Activities

Program Committee member of the Symposium on Implementation and Application of Functional Languages 2010
Program Committee member of the Haskell Symposium 2009
Co-organizer of the Tenth ICFP programming contest (see the contest presentation in Freiburg, October 2007)
Program Committee member of the International Conference on Functional Programming (ICFP) 2007
Program Committee member of the 2006 Haskell Workshop

Teaching

In addition to supervising Bachelor and Master projects, I teach the following courses at the Open Universiteit Nederland:

Software Architecture
Design Patterns
Functional Programming
Talen en Ontleders

In the past, I have been involved in the following courses at Utrecht University: Functional Programming (BSc), Grammars and Parsing (BSc), Preparatory Course for the Software Technology Master Programme (MSc), Implementation of Programming Languages (MSc), Advanced Functional Programming (MSc), Seminar on Type Systems (MSc), and a Seminar on Feedback Oriented Static Analysis (MSc).

Publications

A list of my Technical Reports can be found here.

2011

Johan Jeuring, Alex Gerdes, Bastiaan Heeren, A programming tutor for Haskell, To appear in Proceedings of CEFP 2011
Bastiaan Heeren, Johan Jeuring, Interleaving Strategies, MKM 2011
Harrie Passier, Bastiaan Heeren, Modeling XML Content Explained, To appear in IAR 2011
Josje Lodder, Bastiaan Heeren, A Teaching Tool for Proving Equivalences between Logical Formulae, TICTTL 2011
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Properties of Exercise Strategies, IWS2010

2010

Bastiaan Heeren, Johan Jeuring, Adapting Mathematical Domain Reasoners, MKM 2010
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães, A lightweight approach to datatype-generic rewriting, Journal of Functional Programming, 2010
Alex Gerdes, Johan Jeuring, Bastiaan Heeren, Using Strategies for Assessment of Programming Exercises, SIGCSE 2010
Bastiaan Heeren, Johan Jeuring, Alex Gerdes, Specifying Rewrite Strategies for Interactive Exercises, Mathematics in Computer Science, Volume 3, Number 3 / May, 2010

2009

Johan Jeuring, Bastiaan Heeren, An interactive exercise player for Math-Bridge, Student Mobility and ICT
Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren, Generic Programming for Domain Reasoners, TFP 2009
Bastiaan Heeren, Johan Jeuring, Canonical Forms in Interactive Exercise Assistants, MKM 2009
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Constructing Strategies for Programming, CSEDU 2009
Bastiaan Heeren, Sylvia Stuurman, Software architectuur in het afstandsonderwijs (in Dutch), presented at NIOC 2009

2008

Hans Cuypers, Gemma Corbalan, Bastiaan Heeren, Erik Jansen, Johan Jeuring, Jan Willem Knopper, Josje Lodder, Rick van der Meiden, Wouter Pasman, Intelligente feedback in e-learning (in Dutch), TINFON, 2008
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Sylvia Stuurman, Feedback Services for Exercise Assistants, Proceedings of the 7th European Conference on e-Learning, 2008
Jurriaan Hage, Bastiaan Heeren, Strategies for solving constraints in type and effect systems, VODCA 2008
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, A Lightweight Approach to Datatype-Generic Rewriting, WGP 2008
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Report on the Tenth ICFP Programming Contest, ICFP 2008
Bastiaan Heeren, Johan Jeuring, Recognizing Strategies, WRS 2008
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes Specifying Strategies for Exercises, MKM 2008

2006

Jurriaan Hage, Bastiaan Heeren, Heuristics for type error discovery and recovery, IFL 2006

2005

Bastiaan Heeren, Top Quality Type Error Messages, PhD thesis, Utrecht University
Bastiaan Heeren, Jurriaan Hage, Type Class Directives, PADL 2005

2004

Bastiaan Heeren, Daan Leijen, Gebruiksvriendelijke compiler voor het onderwijs (in Dutch), Informatie, 46(8)
Bastiaan Heeren, Daan Leijen, Functioneel Programmeren met Helium (in Dutch), NIOC 2004

2003

Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra, Scripting the Type Inference Process, ICFP 2003
Bastiaan Heeren, Daan Leijen, Arjan van IJzendoorn, Helium, for Learning Haskell, Haskell Workshop 2003
Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra, Constraint Based Type Inferencing in Helium, Workshop on Immediate Applications of Constraint Programming 2003

2002

Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra, Generalizing Hindley-Milner Type Inference Algorithms, Technical Report, Utrecht University
Bastiaan Heeren, Johan Jeuring, S. Doaitse Swierstra, Pablo Azero Alcocer, Improving type-error messages in functional languages, Technical Report, Utrecht University

Research

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.

Research Students

Supervised Master's theses:

Henk van de Ridder. Feasibility study of REA business patterns in a web oriented framework for business applications (in Dutch)
Co-supervisor, Marko van Eekelen and Lex Bijlsma
Aad van den Berg. A Pre-Processing Method for Software Synthesis of Synchronous Dataflow Networks [pdf]
Co-supervisor, Johan Jeuring.
Mark Ronkes. An Architecture for Searching Radio Signals - coordination of task and result sharing in the search process [pdf]
Co-supervisor, Johan Jeuring.
Sander Mak. Developing Interacting Domain Specific Languages [pdf]
Co-supervisor, Eelco Visser.
Michiel Overeem. Dynamic Archive Management - A Framework for Dynamic Database Schemas [pdf]
Co-supervisor, Lennart Herlaar.
Gerrit van den Geest. Constraints for Type Class Extensions [pdf]
Co-supervisor, Atze Dijkstra.
Arjen Langebaerd. Repair Systems - Automatic Correction of Type Errors in Functional Programs [pdf]
Co-supervisor, Jurriaan Hage.

Contact

Currently, my office is in the BBL building at De Uithof, Utrecht. Click here for a detailed description how to reach my office, or see my former staff page for further contact information.

Email: bastiaan.heeren@ou.nl
Phone: +31 (30) 253 4255
Office: Buys Ballot Laboratory (BBL), office 572
Skype: bastiaanheeren