publications:
- title: "Using strategies for assessment of programming exercises"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1734263.1734412"
  links:
    doi: "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:
  - name: "Gary Lewandowski"
    link: "https://researchr.org/alias/gary-lewandowski"
  - name: "Steven A. Wolfman"
    link: "https://researchr.org/alias/steven-a.-wolfman"
  - name: "Thomas J. Cortina"
    link: "https://researchr.org/alias/thomas-j.-cortina"
  - name: "Ellen Lowenfeld Walker"
    link: "https://researchr.org/alias/ellen-lowenfeld-walker"
  publisher: "ACM"
  isbn: "978-1-4503-0006-3"
  kind: "inproceedings"
  key: "GerdesJH10"
- title: "Generic Programming for Domain Reasoners"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2009"
  links:
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sfp/JeuringMH09"
  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:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  - name: "Peter Achten"
    link: "https://researchr.org/alias/peter-achten"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  volume: "10"
  series: "Trends in Functional Programming"
  publisher: "Intellect"
  isbn: "978-1-84150-405-6"
  kind: "inproceedings"
  key: "JeuringMH09"
- title: "Generalizing Hindley-Milner Type Inference Algorithms"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2002"
  abstract: "Type inferencing according to the standard algorithms W and M often yields unin- formative error messages. Many times, this is a consequence of a bias inherent in the algorithms. The method developed here is to first collect constraints from the program, and to solve these afterwards, possibly under the influence of a heuristic. We show the soundness and completeness of our algorithm. The algorithms W and M turn out to be deterministic instances of our method, giving the correctness for W and M with respect to the Hindley-Milner typing rules for free. We also show that our algorithm is more flexible, because it naturally allows the generation of multiple messages."
  links:
    "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"
  kind: "techreport"
  key: "HeerenHS02"
- title: "Constructing Strategies for Programming"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  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:
  - name: "José A. Moinhos Cordeiro"
    link: "https://researchr.org/alias/jos%C3%A3%C2%A9-a.-moinhos-cordeiro"
  - name: "Boris Shishkov"
    link: "https://researchr.org/alias/boris-shishkov"
  - name: "Alexander Verbraeck"
    link: "https://researchr.org/alias/alexander-verbraeck"
  - name: "Markus Helfert"
    link: "https://researchr.org/alias/markus-helfert"
  publisher: "INSTICC Press"
  isbn: "978-989-8111-82-1"
  kind: "inproceedings"
  key: "GerdesHJ09"
- title: "Specifying Strategies for Exercises"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Arthur van Leeuwen"
    link: "https://researchr.org/alias/arthur-van-leeuwen"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-85110-3_36"
  links:
    doi: "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:
  - name: "Serge Autexier"
    link: "https://researchr.org/alias/serge-autexier"
  - name: "John Campbell"
    link: "https://researchr.org/alias/john-campbell"
  - name: "Julio Rubio"
    link: "https://researchr.org/alias/julio-rubio"
  - name: "Volker Sorge"
    link: "https://researchr.org/alias/volker-sorge"
  - name: "Masakazu Suzuki"
    link: "https://researchr.org/alias/masakazu-suzuki"
  - name: "Freek Wiedijk"
    link: "http://www.cs.ru.nl/~freek/"
  volume: "5144"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-85109-7"
  kind: "inproceedings"
  key: "HeerenJLG08"
- title: "Type Class Directives"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3350&spage=253"
  links:
    doi: "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:
  - name: "Manuel V. Hermenegildo"
    link: "https://researchr.org/alias/manuel-v.-hermenegildo"
  - name: "Daniel Cabeza"
    link: "https://researchr.org/alias/daniel-cabeza"
  volume: "3350"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-24362-3"
  kind: "inproceedings"
  key: "HeerenH05"
- title: "Model solutions and properties for diagnosing student programs in Ask-Elle"
  author:
  - name: "Johan Jeuring"
    link: "https://researchr.org/alias/johan-jeuring"
  - name: "L. Thomas van Binsbergen"
    link: "https://researchr.org/alias/l.-thomas-van-binsbergen"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2691352.2691355"
  links:
    doi: "http://doi.acm.org/10.1145/2691352.2691355"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cserc/JeuringBGH14"
  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:
  - name: "Erik Barendsen"
    link: "https://researchr.org/alias/erik-barendsen"
  - name: "Valentina Dagiene"
    link: "https://researchr.org/alias/valentina-dagiene"
  publisher: "ACM"
  isbn: "978-1-4503-3347-4"
  kind: "inproceedings"
  key: "JeuringBGH14"
- title: "Adapting Mathematical Domain Reasoners"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14128-7_27"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14128-7_27"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/aisc/HeerenJ10"
  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:
  - name: "Serge Autexier"
    link: "https://researchr.org/alias/serge-autexier"
  - name: "Jacques Calmet"
    link: "https://researchr.org/alias/jacques-calmet"
  - name: "David Delahaye"
    link: "https://researchr.org/alias/david-delahaye"
  - name: "Patrick D. F. Ion"
    link: "https://researchr.org/alias/patrick-d.-f.-ion"
  - name: "Laurence Rideau"
    link: "https://researchr.org/alias/laurence-rideau"
  - name: "Renaud Rioboo"
    link: "https://researchr.org/alias/renaud-rioboo"
  - name: "Alan P. Sexton"
    link: "https://researchr.org/alias/alan-p.-sexton"
  volume: "6167"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14127-0"
  kind: "inproceedings"
  key: "HeerenJ10"
- title: "Strategy-based feedback in a programming tutor"
  author:
  - name: "Hieke Keuning"
    link: "https://researchr.org/alias/hieke-keuning"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan Jeuring"
    link: "https://researchr.org/alias/johan-jeuring"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2691352.2691356"
  links:
    doi: "http://doi.acm.org/10.1145/2691352.2691356"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cserc/KeuningHJ14"
  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:
  - name: "Erik Barendsen"
    link: "https://researchr.org/alias/erik-barendsen"
  - name: "Valentina Dagiene"
    link: "https://researchr.org/alias/valentina-dagiene"
  publisher: "ACM"
  isbn: "978-1-4503-3347-4"
  kind: "inproceedings"
  key: "KeuningHJ14"
- title: "A new method for sustainable development of open educational resources"
  author:
  - name: "Sylvia Stuurman"
    link: "https://researchr.org/alias/sylvia-stuurman"
  - name: "Marko van Eekelen"
    link: "https://researchr.org/alias/marko-van-eekelen"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2421277.2421284"
  links:
    doi: "http://doi.acm.org/10.1145/2421277.2421284"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cserc/StuurmanEH12"
  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:
  - name: "Gerrit C. van der Veer"
    link: "https://researchr.org/alias/gerrit-c.-van-der-veer"
  - name: "Marcin Sikorski"
    link: "https://researchr.org/alias/marcin-sikorski"
  - name: "Peter B. Sloep"
    link: "https://researchr.org/alias/peter-b.-sloep"
  - name: "Marko C. J. D. van Eekelen"
    link: "https://researchr.org/alias/marko-c.-j.-d.-van-eekelen"
  publisher: "ACM"
  isbn: "978-1-4503-1858-7"
  kind: "inproceedings"
  key: "StuurmanEH12"
- title: "A lightweight approach to datatype-generic rewriting"
  author:
  - name: "Thomas van Noort"
    link: "https://researchr.org/alias/thomas-van-noort"
  - name: "Alexey Rodriguez"
    link: "https://researchr.org/alias/alexey-rodriguez"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411318.1411321"
  links:
    doi: "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:
  - name: "Ralf Hinze"
    link: "https://researchr.org/alias/ralf-hinze"
  - name: "Don Syme"
    link: "https://researchr.org/alias/don-syme"
  publisher: "ACM"
  isbn: "978-1-60558-060-9"
  kind: "inproceedings"
  key: "NoortRHJH08"
- title: "Report on the tenth ICFP programming contest"
  author:
  - name: "Eelco  Dolstra"
    link: "https://researchr.org/profile/eelcodolstra/publications"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Andres Löh"
    link: "http://people.cs.uu.nl/andres/"
  - name: "Clara Löh"
    link: "https://researchr.org/alias/clara-l%C3%B6h"
  - name: "Arie Middelkoop"
    link: "https://researchr.org/alias/arie-middelkoop"
  - name: "Alexey Rodriguez"
    link: "https://researchr.org/alias/alexey-rodriguez"
  - name: "John van Schie"
    link: "https://researchr.org/alias/john-van-schie"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1411204.1411259"
  abstract: "The ICFP programming contest is a 72-hour contest, which attracts thousands of contestants from all over the world. In this report we describe what it takes to organise this contest, the main ideas behind the contest we organised, the task, how to solve it, how we created it, and how well the contestants did. This year's task was to reverse engineer the DNA of a stranded alien life form to enable it to survive on our planet. The alien's DNA had to be modified by means of a prefix that modified its meaning so that the alien's phenotype would approximate a given \"ideal\" outcome, increasing its probability of survival. About 357 teams from 39 countries solved at least part of the contest. The language of choice for discriminating hackers turned out to be C++. "
  links:
    doi: "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:
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Peter Thiemann"
    link: "http://www.informatik.uni-freiburg.de/~thiemann/"
  publisher: "ACM"
  isbn: "978-1-59593-919-7"
  kind: "inproceedings"
  key: "DolstraHHHJLLMRS08"
- title: "Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_31"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_31"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ectel/GerdesHJ12"
  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:
  - name: "Andrew Ravenscroft"
    link: "https://researchr.org/alias/andrew-ravenscroft"
  - name: "Stefanie N. Lindstaedt"
    link: "https://researchr.org/alias/stefanie-n.-lindstaedt"
  - name: "Carlos Delgado Kloos"
    link: "https://researchr.org/alias/carlos-delgado-kloos"
  - name: "Davinia Hernández Leo"
    link: "https://researchr.org/alias/davinia-hern%C3%A1ndez-leo"
  volume: "7563"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-33262-3"
  kind: "inproceedings"
  key: "GerdesHJ12"
- title: "An interactive functional programming tutor"
  author:
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2012"
  doi: "http://doi.acm.org/10.1145/2325296.2325356"
  links:
    doi: "http://doi.acm.org/10.1145/2325296.2325356"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/iticse/GerdesJH12"
  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:
  - name: "Tami Lapidot"
    link: "https://researchr.org/alias/tami-lapidot"
  - name: "Judith Gal-Ezer"
    link: "https://researchr.org/alias/judith-gal-ezer"
  - name: "Michael E. Caspersen"
    link: "https://researchr.org/alias/michael-e.-caspersen"
  - name: "Orit Hazzan"
    link: "https://researchr.org/alias/orit-hazzan"
  publisher: "ACM"
  isbn: "978-1-4503-1246-2"
  kind: "inproceedings"
  key: "GerdesJH12"
- title: "Helium, for learning Haskell"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Daan Leijen"
    link: "https://researchr.org/alias/daan-leijen"
  - name: "Arjan van IJzendoorn"
    link: "https://researchr.org/alias/arjan-van-ijzendoorn"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/871895.871902"
  links:
    doi: "http://doi.acm.org/10.1145/871895.871902"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/haskell/HeerenLI03"
  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"
  kind: "inproceedings"
  key: "HeerenLI03"
- title: "A Teaching Tool for Proving Equivalences between Logical Formulae"
  author:
  - name: "Josje Lodder"
    link: "https://researchr.org/alias/josje-lodder"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-21350-2_18"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-21350-2_18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ticttl/LodderH11"
  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:
  - name: "Patrick Blackburn"
    link: "https://researchr.org/alias/patrick-blackburn"
  - name: "Hans P. van Ditmarsch"
    link: "https://researchr.org/alias/hans-p.-van-ditmarsch"
  - name: "María Manzano"
    link: "https://researchr.org/alias/mar%26iacute%3Ba-manzano"
  - name: "Fernando Soler-Toscano"
    link: "https://researchr.org/alias/fernando-soler-toscano"
  volume: "6680"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-21349-6"
  kind: "inproceedings"
  key: "LodderH11"
- title: "Ask-Elle: A Haskell Tutor - Demonstration"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_42"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-33263-0_42"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ectel/JeuringGH12"
  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:
  - name: "Andrew Ravenscroft"
    link: "https://researchr.org/alias/andrew-ravenscroft"
  - name: "Stefanie N. Lindstaedt"
    link: "https://researchr.org/alias/stefanie-n.-lindstaedt"
  - name: "Carlos Delgado Kloos"
    link: "https://researchr.org/alias/carlos-delgado-kloos"
  - name: "Davinia Hernández Leo"
    link: "https://researchr.org/alias/davinia-hern%C3%A1ndez-leo"
  volume: "7563"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-33262-3"
  kind: "inproceedings"
  key: "JeuringGH12"
- title: "Feedback services for stepwise exercises"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2014"
  doi: "http://dx.doi.org/10.1016/j.scico.2014.02.021"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2014.02.021"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/HeerenJ14"
  researchr: "https://researchr.org/publication/HeerenJ14"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "88"
  pages: "110-129"
  kind: "article"
  key: "HeerenJ14"
- title: "Scripting the type inference process"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944746.944707"
  links:
    doi: "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"
  kind: "article"
  key: "HeerenHS03-0"
- title: "A lightweight approach to datatype-generic rewriting"
  author:
  - name: "Thomas van Noort"
    link: "https://researchr.org/alias/thomas-van-noort"
  - name: "Alexey Rodriguez Yakushev"
    link: "https://researchr.org/alias/alexey-rodriguez-yakushev"
  - name: "Stefan Holdermans"
    link: "https://researchr.org/alias/stefan-holdermans"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "José Pedro Magalhães"
    link: "https://researchr.org/alias/jos%C3%A9-pedro-magalh%C3%A3es"
  year: "2010"
  doi: "http://dx.doi.org/10.1017/S0956796810000183"
  links:
    doi: "http://dx.doi.org/10.1017/S0956796810000183"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/NoortYHJHM10"
  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"
  kind: "article"
  key: "NoortYHJHM10"
- title: "Heuristics for Type Error Discovery and Recovery"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74130-5_12"
  abstract: "Type error messages that are reported for incorrect functional programs can be difficult to understand. The reason for this is that most type inference algorithms proceed in a mechanical, syntax-directed way, and are unaware of inference techniques used by experts to explain type inconsistencies. We formulate type inference as a constraint problem, and analyze the collected constraints to improve the error messages (and, as a result, programming efficiency). A special data structure, the type graph, is used to detect global properties of a program, and furthermore enables us to uniformly describe a large collection of heuristics which embed expert knowledge in explaining type errors. Some of these also suggest corrections to the programmer. Our work has been fully implemented and is used in practical situations, showing that it scales up well."
  links:
    doi: "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:
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  volume: "4449"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74129-9"
  kind: "inproceedings"
  key: "HageH06"
- title: "Recognizing Strategies"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.037"
  links:
    doi: "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"
  kind: "article"
  key: "HeerenJ09"
- title: "Communicate! - A Serious Game for Communication Skills -"
  author:
  - name: "Johan Jeuring"
    link: "https://researchr.org/alias/johan-jeuring"
  - name: "Frans Grosfeld"
    link: "https://researchr.org/alias/frans-grosfeld"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Michiel Hulsbergen"
    link: "https://researchr.org/alias/michiel-hulsbergen"
  - name: "Richta IJntema"
    link: "https://researchr.org/alias/richta-ijntema"
  - name: "Vincent Jonker"
    link: "https://researchr.org/alias/vincent-jonker"
  - name: "Nicole Mastenbroek"
    link: "https://researchr.org/alias/nicole-mastenbroek"
  - name: "Maarten van der Smagt"
    link: "https://researchr.org/alias/maarten-van-der-smagt"
  - name: "Frank Wijmans"
    link: "https://researchr.org/alias/frank-wijmans"
  - name: "Majanne Wolters"
    link: "https://researchr.org/alias/majanne-wolters"
  - name: "Henk van Zeijts"
    link: "https://researchr.org/alias/henk-van-zeijts"
  year: "2015"
  doi: "http://dx.doi.org/10.1007/978-3-319-24258-3_49"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-24258-3_49"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ectel/JeuringGHHIJMSW15"
  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:
  - name: "Gráinne Conole"
    link: "https://researchr.org/alias/gr%C3%A1inne-conole"
  - name: "Tomaz Klobucar"
    link: "https://researchr.org/alias/tomaz-klobucar"
  - name: "Christoph Rensing"
    link: "https://researchr.org/alias/christoph-rensing"
  - name: "Johannes Konert"
    link: "https://researchr.org/alias/johannes-konert"
  - name: "Élise Lavoué"
    link: "https://researchr.org/alias/%C3%A9lise-lavou%C3%A9"
  volume: "9307"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-319-24257-6"
  kind: "inproceedings"
  key: "JeuringGHHIJMSW15"
- title: "Interleaving Strategies"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22673-1_14"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22673-1_14"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mkm/HeerenJ11"
  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:
  - name: "James H. Davenport"
    link: "https://researchr.org/alias/james-h.-davenport"
  - name: "William M. Farmer"
    link: "https://researchr.org/alias/william-m.-farmer"
  - name: "Josef Urban"
    link: "https://researchr.org/alias/josef-urban"
  - name: "Florian Rabe"
    link: "https://researchr.org/alias/florian-rabe"
  volume: "6824"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22672-4"
  kind: "inproceedings"
  key: "HeerenJ11"
- title: "Canonical Forms in Interactive Exercise Assistants"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02614-0_27"
  links:
    doi: "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:
  - name: "Jacques Carette"
    link: "https://researchr.org/alias/jacques-carette"
  - name: "Lucas Dixon"
    link: "https://researchr.org/alias/lucas-dixon"
  - name: "Claudio Sacerdoti Coen"
    link: "https://researchr.org/alias/claudio-sacerdoti-coen"
  - name: "Stephen M. Watt"
    link: "https://researchr.org/alias/stephen-m.-watt"
  volume: "5625"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02613-3"
  kind: "inproceedings"
  key: "HeerenJ09-0"
- title: "Specifying Rewrite Strategies for Interactive Exercises"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  year: "2010"
  doi: "http://springerlink.metapress.com/content/c204312110034814/"
  links:
    doi: "http://springerlink.metapress.com/content/c204312110034814/"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/mics/HeerenJG10"
  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"
  kind: "article"
  key: "HeerenJG10"
- title: "Scripting the type inference process"
  author:
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "S. Doaitse Swierstra"
    link: "http://www.cs.uu.nl/staff/doaitse.html"
  year: "2003"
  doi: "http://doi.acm.org/10.1145/944705.944707"
  links:
    doi: "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:
  - name: "Colin Runciman"
    link: "https://researchr.org/alias/colin-runciman"
  - name: "Olin Shivers"
    link: "https://researchr.org/alias/olin-shivers"
  publisher: "ACM"
  isbn: "1-58113-756-7"
  kind: "inproceedings"
  key: "HeerenHS03"
- title: "A Programming Tutor for Haskell"
  author:
  - name: "Johan  Jeuring"
    link: "http://people.cs.uu.nl/johanj/"
  - name: "Alex Gerdes"
    link: "https://researchr.org/alias/alex-gerdes"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-32096-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-32096-5_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/cefp/JeuringGH11"
  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:
  - name: "Viktória Zsók"
    link: "https://researchr.org/alias/vikt%C3%B3ria-zs%C3%B3k"
  - name: "Zoltán Horváth"
    link: "https://researchr.org/alias/zolt%C3%A1n-horv%C3%A1th"
  - name: "Rinus Plasmeijer"
    link: "https://researchr.org/alias/rinus-plasmeijer"
  volume: "7241"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-32095-8"
  kind: "inproceedings"
  key: "JeuringGH11"
- title: "Strategies for Solving Constraints in Type and Effect Systems"
  author:
  - name: "Jurriaan Hage"
    link: "http://www.cs.uu.nl/wiki/Hage/WebHome"
  - name: "Bastiaan Heeren"
    link: "http://www.open.ou.nl/bhr/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.03.021"
  links:
    doi: "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"
  kind: "article"
  key: "HageH09"