@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 = {Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, Milwaukee, Wisconsin, USA, March 10-13, 2010},
  editor = {Gary Lewandowski and Steven A. Wolfman and Thomas J. Cortina and Ellen Lowenfeld Walker},
  publisher = {ACM},
  isbn = {978-1-4503-0006-3},
}

@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 = {Proceedings of the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, June 2-4, 2009},
  editor = {Zoltán Horváth and Viktória Zsók and Peter Achten and Pieter W. M. Koopman},
  volume = {10},
  series = {Trends in Functional Programming},
  publisher = {Intellect},
  isbn = {978-1-84150-405-6},
}

@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 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009 - Volume 1},
  editor = {José A. Moinhos Cordeiro and Boris Shishkov and Alexander Verbraeck and Markus Helfert},
  publisher = {INSTICC Press},
  isbn = {978-989-8111-82-1},
}

@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 = {Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings},
  editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
  volume = {5144},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85109-7},
}

@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 = {Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
  editor = {Manuel V. Hermenegildo and Daniel Cabeza},
  volume = {3350},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-24362-3},
}

@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 = {Proceedings of the Computer Science Education Research Conference, CSERC 2014, Berlin, Germany, November 5-6, 2014},
  editor = {Erik Barendsen and Valentina Dagiene},
  publisher = {ACM},
  isbn = {978-1-4503-3347-4},
}

@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 = {Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings},
  editor = {Serge Autexier and Jacques Calmet and David Delahaye and Patrick D. F. Ion and Laurence Rideau and Renaud Rioboo and Alan P. Sexton},
  volume = {6167},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-14127-0},
}

@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 = {Proceedings of the Computer Science Education Research Conference, CSERC 2014, Berlin, Germany, November 5-6, 2014},
  editor = {Erik Barendsen and Valentina Dagiene},
  publisher = {ACM},
  isbn = {978-1-4503-3347-4},
}

@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 = {Proceedings of Second Computer Science Education Research Conference, CSERC 2012, Wroclaw, Poland, September 9-12, 2012},
  editor = {Gerrit C. van der Veer and Marcin Sikorski and Peter B. Sloep and Marko C. J. D. van Eekelen},
  publisher = {ACM},
  isbn = {978-1-4503-1858-7},
}

@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 = {Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2008, Victoria, BC, Canada, September 20, 2008},
  editor = {Ralf Hinze and Don Syme},
  publisher = {ACM},
  isbn = {978-1-60558-060-9},
}

@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 = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, ICFP 2008, Victoria, BC, Canada, September 20-28, 2008},
  editor = {James Hook and Peter Thiemann},
  publisher = {ACM},
  isbn = {978-1-59593-919-7},
}

@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 = {21st Century Learning for 21st Century Skills - 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings},
  editor = {Andrew Ravenscroft and Stefanie N. Lindstaedt and Carlos Delgado Kloos and Davinia Hernández Leo},
  volume = {7563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33262-3},
}

@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 = {Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  editor = {Tami Lapidot and Judith Gal-Ezer and Michael E. Caspersen and Orit Hazzan},
  publisher = {ACM},
  isbn = {978-1-4503-1246-2},
}

@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 = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003},
  publisher = {ACM},
}

@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 = {Tools for Teaching Logic - Third International Congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
  editor = {Patrick Blackburn and Hans P. van Ditmarsch and María Manzano and Fernando Soler-Toscano},
  volume = {6680},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-21349-6},
}

@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 = {21st Century Learning for 21st Century Skills - 7th European Conference of Technology Enhanced Learning, EC-TEL 2012, Saarbrücken, Germany, September 18-21, 2012. Proceedings},
  editor = {Andrew Ravenscroft and Stefanie N. Lindstaedt and Carlos Delgado Kloos and Davinia Hernández Leo},
  volume = {7563},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-33262-3},
}

@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 = {Science of Computer Programming},
  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 Notices},
  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 = {Journal of Functional Programming},
  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 = {Implementation and Application of Functional Languages, 18th International Symp osium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers},
  editor = {Zoltán Horváth and Viktória Zsók and Andrew Butterfield},
  volume = {4449},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74129-9},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Design for Teaching and Learning in a Networked World - 10th European Conference on Technology Enhanced Learning, EC-TEL 2015, Toledo, Spain, September 15-18, 2015, Proceedings},
  editor = {Gráinne Conole and Tomaz Klobucar and Christoph Rensing and Johannes Konert and Élise Lavoué},
  volume = {9307},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-24257-6},
}

@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 = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings},
  editor = {James H. Davenport and William M. Farmer and Josef Urban and Florian Rabe},
  volume = {6824},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22672-4},
}

@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 = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings},
  editor = {Jacques Carette and Lucas Dixon and Claudio Sacerdoti Coen and Stephen M. Watt},
  volume = {5625},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02613-3},
}

@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 = {Mathematics in Computer Science},
  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 = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003},
  editor = {Colin Runciman and Olin Shivers},
  publisher = {ACM},
  isbn = {1-58113-756-7},
}

@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 = {Central European Functional Programming School - 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected Papers},
  editor = {Viktória Zsók and Zoltán Horváth and Rinus Plasmeijer},
  volume = {7241},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-32095-8},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  volume = {236},
  pages = {163-183},
}