@inproceedings{GerdesJH10,
  title = {Using strategies for assessment of programming exercises},
  author = {Alex Gerdes and Johan  Jeuring and Bastiaan Heeren},
  year = {2010},
  doi = {10.1145/1734263.1734412},
  url = {http://doi.acm.org/10.1145/1734263.1734412},
  tags = {programming},
  researchr = {https://researchr.org/publication/GerdesJH10},
  cites = {0},
  citedby = {0},
  pages = {441-445},
  booktitle = {sigcse},
}

@inproceedings{JeuringMH09,
  title = {Generic Programming for Domain Reasoners},
  author = {Johan  Jeuring and José Pedro Magalhães and Bastiaan Heeren},
  year = {2009},
  researchr = {https://researchr.org/publication/JeuringMH09},
  cites = {0},
  citedby = {0},
  pages = {113-128},
  booktitle = {sfp},
}

@techreport{HeerenHS02,
  title = {Generalizing Hindley-Milner Type Inference Algorithms},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2002},
  url = {http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-031.pdf},
  researchr = {https://researchr.org/publication/HeerenHS02},
  cites = {0},
  citedby = {0},
  institution = {Department of Information and Computing Sciences, Utrecht University},
  number = {UU-CS-2002-031},
}

@inproceedings{GerdesHJ09,
  title = {Constructing Strategies for Programming},
  author = {Alex Gerdes and Bastiaan Heeren and Johan  Jeuring},
  year = {2009},
  tags = {programming},
  researchr = {https://researchr.org/publication/GerdesHJ09},
  cites = {0},
  citedby = {0},
  pages = {65-72},
  booktitle = {csedu},
}

@inproceedings{HeerenJLG08,
  title = {Specifying Strategies for Exercises},
  author = {Bastiaan Heeren and Johan  Jeuring and Arthur van Leeuwen and Alex Gerdes},
  year = {2008},
  doi = {10.1007/978-3-540-85110-3_36},
  url = {http://dx.doi.org/10.1007/978-3-540-85110-3_36},
  researchr = {https://researchr.org/publication/HeerenJLG08},
  cites = {0},
  citedby = {0},
  pages = {430-445},
  booktitle = {AISC},
}

@inproceedings{HeerenH05,
  title = {Type Class Directives},
  author = {Bastiaan Heeren and Jurriaan Hage},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=253},
  researchr = {https://researchr.org/publication/HeerenH05},
  cites = {0},
  citedby = {0},
  pages = {253-267},
  booktitle = {PADL},
}

@inproceedings{JeuringBGH14,
  title = {Model solutions and properties for diagnosing student programs in Ask-Elle},
  author = {Johan Jeuring and L. Thomas van Binsbergen and Alex Gerdes and Bastiaan Heeren},
  year = {2014},
  doi = {10.1145/2691352.2691355},
  url = {http://doi.acm.org/10.1145/2691352.2691355},
  researchr = {https://researchr.org/publication/JeuringBGH14},
  cites = {0},
  citedby = {0},
  pages = {31-40},
  booktitle = {cserc},
}

@inproceedings{HeerenJ10,
  title = {Adapting Mathematical Domain Reasoners},
  author = {Bastiaan Heeren and Johan  Jeuring},
  year = {2010},
  doi = {10.1007/978-3-642-14128-7_27},
  url = {http://dx.doi.org/10.1007/978-3-642-14128-7_27},
  researchr = {https://researchr.org/publication/HeerenJ10},
  cites = {0},
  citedby = {0},
  pages = {315-330},
  booktitle = {AISC},
}

@inproceedings{KeuningHJ14,
  title = {Strategy-based feedback in a programming tutor},
  author = {Hieke Keuning and Bastiaan Heeren and Johan Jeuring},
  year = {2014},
  doi = {10.1145/2691352.2691356},
  url = {http://doi.acm.org/10.1145/2691352.2691356},
  researchr = {https://researchr.org/publication/KeuningHJ14},
  cites = {0},
  citedby = {0},
  pages = {43-54},
  booktitle = {cserc},
}

@inproceedings{StuurmanEH12,
  title = {A new method for sustainable development of open educational resources},
  author = {Sylvia Stuurman and Marko van Eekelen and Bastiaan Heeren},
  year = {2012},
  doi = {10.1145/2421277.2421284},
  url = {http://doi.acm.org/10.1145/2421277.2421284},
  researchr = {https://researchr.org/publication/StuurmanEH12},
  cites = {0},
  citedby = {0},
  pages = {57-66},
  booktitle = {cserc},
}

@inproceedings{NoortRHJH08,
  title = {A lightweight approach to datatype-generic rewriting},
  author = {Thomas van Noort and Alexey Rodriguez and Stefan Holdermans and Johan  Jeuring and Bastiaan Heeren},
  year = {2008},
  doi = {10.1145/1411318.1411321},
  url = {http://doi.acm.org/10.1145/1411318.1411321},
  tags = {graph-rewriting, rewriting, systematic-approach},
  researchr = {https://researchr.org/publication/NoortRHJH08},
  cites = {0},
  citedby = {0},
  pages = {13-24},
  booktitle = {ICFP},
}

@inproceedings{DolstraHHHJLLMRS08,
  title = {Report on the tenth ICFP programming contest},
  author = {Eelco  Dolstra and Jurriaan Hage and Bastiaan Heeren and Stefan Holdermans and Johan  Jeuring and Andres Löh and Clara Löh and Arie Middelkoop and Alexey Rodriguez and John van Schie},
  year = {2008},
  doi = {10.1145/1411204.1411259},
  url = {http://doi.acm.org/10.1145/1411204.1411259},
  tags = {programming languages, C++, programming},
  researchr = {https://researchr.org/publication/DolstraHHHJLLMRS08},
  cites = {0},
  citedby = {0},
  pages = {397-408},
  booktitle = {ICFP},
}

@inproceedings{GerdesHJ12,
  title = {Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor},
  author = {Alex Gerdes and Bastiaan Heeren and Johan  Jeuring},
  year = {2012},
  doi = {10.1007/978-3-642-33263-0_31},
  url = {http://dx.doi.org/10.1007/978-3-642-33263-0_31},
  researchr = {https://researchr.org/publication/GerdesHJ12},
  cites = {0},
  citedby = {0},
  pages = {383-388},
  booktitle = {ectel},
}

@inproceedings{GerdesJH12,
  title = {An interactive functional programming tutor},
  author = {Alex Gerdes and Johan  Jeuring and Bastiaan Heeren},
  year = {2012},
  doi = {10.1145/2325296.2325356},
  url = {http://doi.acm.org/10.1145/2325296.2325356},
  researchr = {https://researchr.org/publication/GerdesJH12},
  cites = {0},
  citedby = {0},
  pages = {250-255},
  booktitle = {iticse},
}

@inproceedings{HeerenLI03,
  title = {Helium, for learning Haskell},
  author = {Bastiaan Heeren and Daan Leijen and Arjan van IJzendoorn},
  year = {2003},
  doi = {10.1145/871895.871902},
  url = {http://doi.acm.org/10.1145/871895.871902},
  tags = {error-reporting},
  researchr = {https://researchr.org/publication/HeerenLI03},
  cites = {0},
  citedby = {0},
  pages = {62-71},
  booktitle = {haskell},
}

@inproceedings{LodderH11,
  title = {A Teaching Tool for Proving Equivalences between Logical Formulae},
  author = {Josje Lodder and Bastiaan Heeren},
  year = {2011},
  doi = {10.1007/978-3-642-21350-2_18},
  url = {http://dx.doi.org/10.1007/978-3-642-21350-2_18},
  tags = {teaching},
  researchr = {https://researchr.org/publication/LodderH11},
  cites = {0},
  citedby = {0},
  pages = {154-161},
  booktitle = {ticttl},
}

@inproceedings{JeuringGH12,
  title = {Ask-Elle: A Haskell Tutor - Demonstration},
  author = {Johan  Jeuring and Alex Gerdes and Bastiaan Heeren},
  year = {2012},
  doi = {10.1007/978-3-642-33263-0_42},
  url = {http://dx.doi.org/10.1007/978-3-642-33263-0_42},
  researchr = {https://researchr.org/publication/JeuringGH12},
  cites = {0},
  citedby = {0},
  pages = {453-458},
  booktitle = {ectel},
}

@article{HeerenJ14,
  title = {Feedback services for stepwise exercises},
  author = {Bastiaan Heeren and Johan  Jeuring},
  year = {2014},
  doi = {10.1016/j.scico.2014.02.021},
  url = {http://dx.doi.org/10.1016/j.scico.2014.02.021},
  researchr = {https://researchr.org/publication/HeerenJ14},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {88},
  pages = {110-129},
}

@article{HeerenHS03-0,
  title = {Scripting the type inference process},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944746.944707},
  url = {http://doi.acm.org/10.1145/944746.944707},
  tags = {type inference},
  researchr = {https://researchr.org/publication/HeerenHS03-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {38},
  number = {9},
  pages = {3-13},
}

@article{NoortYHJHM10,
  title = {A lightweight approach to datatype-generic rewriting},
  author = {Thomas van Noort and Alexey Rodriguez Yakushev and Stefan Holdermans and Johan  Jeuring and Bastiaan Heeren and José Pedro Magalhães},
  year = {2010},
  doi = {10.1017/S0956796810000183},
  url = {http://dx.doi.org/10.1017/S0956796810000183},
  tags = {graph-rewriting, rewriting, systematic-approach},
  researchr = {https://researchr.org/publication/NoortYHJHM10},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {20},
  number = {3-4},
  pages = {375-413},
}

@inproceedings{HageH06,
  title = {Heuristics for Type Error Discovery and Recovery},
  author = {Jurriaan Hage and Bastiaan Heeren},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_12},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_12},
  tags = {discovery},
  researchr = {https://researchr.org/publication/HageH06},
  cites = {0},
  citedby = {0},
  pages = {199-216},
  booktitle = {IFL},
}

@article{HeerenJ09,
  title = {Recognizing Strategies},
  author = {Bastiaan Heeren and Johan  Jeuring},
  year = {2009},
  doi = {10.1016/j.entcs.2009.03.037},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.03.037},
  researchr = {https://researchr.org/publication/HeerenJ09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {237},
  pages = {91-106},
}

@inproceedings{JeuringGHHIJMSW15,
  title = {Communicate! - A Serious Game for Communication Skills -},
  author = {Johan Jeuring and Frans Grosfeld and Bastiaan Heeren and Michiel Hulsbergen and Richta IJntema and Vincent Jonker and Nicole Mastenbroek and Maarten van der Smagt and Frank Wijmans and Majanne Wolters and Henk van Zeijts},
  year = {2015},
  doi = {10.1007/978-3-319-24258-3_49},
  url = {http://dx.doi.org/10.1007/978-3-319-24258-3_49},
  researchr = {https://researchr.org/publication/JeuringGHHIJMSW15},
  cites = {0},
  citedby = {0},
  pages = {513-517},
  booktitle = {ectel},
}

@inproceedings{HeerenJ11,
  title = {Interleaving Strategies},
  author = {Bastiaan Heeren and Johan  Jeuring},
  year = {2011},
  doi = {10.1007/978-3-642-22673-1_14},
  url = {http://dx.doi.org/10.1007/978-3-642-22673-1_14},
  researchr = {https://researchr.org/publication/HeerenJ11},
  cites = {0},
  citedby = {0},
  pages = {196-211},
  booktitle = {mkm},
}

@inproceedings{HeerenJ09-0,
  title = {Canonical Forms in Interactive Exercise Assistants},
  author = {Bastiaan Heeren and Johan  Jeuring},
  year = {2009},
  doi = {10.1007/978-3-642-02614-0_27},
  url = {http://dx.doi.org/10.1007/978-3-642-02614-0_27},
  researchr = {https://researchr.org/publication/HeerenJ09-0},
  cites = {0},
  citedby = {0},
  pages = {325-340},
  booktitle = {mkm},
}

@article{HeerenJG10,
  title = {Specifying Rewrite Strategies for Interactive Exercises},
  author = {Bastiaan Heeren and Johan  Jeuring and Alex Gerdes},
  year = {2010},
  url = {http://springerlink.metapress.com/content/c204312110034814/},
  tags = {graph-rewriting, rewriting, rewriting strategies},
  researchr = {https://researchr.org/publication/HeerenJG10},
  cites = {0},
  citedby = {0},
  journal = {mics},
  volume = {3},
  number = {3},
  pages = {349-370},
}

@inproceedings{HeerenHS03,
  title = {Scripting the type inference process},
  author = {Bastiaan Heeren and Jurriaan Hage and S. Doaitse Swierstra},
  year = {2003},
  doi = {10.1145/944705.944707},
  url = {http://doi.acm.org/10.1145/944705.944707},
  tags = {type inference},
  researchr = {https://researchr.org/publication/HeerenHS03},
  cites = {0},
  citedby = {0},
  pages = {3-13},
  booktitle = {ICFP},
}

@inproceedings{JeuringGH11,
  title = {A Programming Tutor for Haskell},
  author = {Johan  Jeuring and Alex Gerdes and Bastiaan Heeren},
  year = {2011},
  doi = {10.1007/978-3-642-32096-5_1},
  url = {http://dx.doi.org/10.1007/978-3-642-32096-5_1},
  researchr = {https://researchr.org/publication/JeuringGH11},
  cites = {0},
  citedby = {0},
  pages = {1-45},
  booktitle = {cefp},
}

@article{HageH09,
  title = {Strategies for Solving Constraints in Type and Effect Systems},
  author = {Jurriaan Hage and Bastiaan Heeren},
  year = {2009},
  doi = {10.1016/j.entcs.2009.03.021},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.03.021},
  tags = {constraints, type system},
  researchr = {https://researchr.org/publication/HageH09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {236},
  pages = {163-183},
}