@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},
}

@inproceedings{RodriguezJJGKO08,
  title = {Comparing libraries for generic programming in haskell},
  author = {Alexey Rodriguez and Johan  Jeuring and Patrik Jansson and Alex Gerdes and Oleg Kiselyov and Bruno C. d. S. Oliveira},
  year = {2008},
  doi = {10.1145/1411286.1411301},
  url = {http://doi.acm.org/10.1145/1411286.1411301},
  tags = {laziness, programming languages, generic programming, functional programming, testing, Haskell, C++, programming, systematic-approach},
  researchr = {https://researchr.org/publication/RodriguezJJGKO08},
  cites = {0},
  citedby = {0},
  pages = {111-122},
  booktitle = {Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
  editor = {Andy Gill},
  publisher = {ACM},
  isbn = {978-1-60558-064-7},
}

@article{JanssonJ98,
  title = {Polytypic Unification},
  author = {Patrik Jansson and Johan  Jeuring},
  year = {1998},
  tags = {polytypic},
  researchr = {https://researchr.org/publication/JanssonJ98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {5},
  pages = {527-536},
}

@inproceedings{HinzeJ03,
  title = {Generic Haskell: Practice and Theory},
  author = {Ralf Hinze and Johan  Jeuring},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2793&spage=1},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HinzeJ03},
  cites = {0},
  citedby = {0},
  pages = {1-56},
  booktitle = {Generic Programming - Advanced Lectures},
  editor = {Roland Carl Backhouse and Jeremy Gibbons},
  volume = {2793},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20194-7},
}

@inproceedings{MeijerJ95,
  title = {Merging Monads and Folds for Functional Programming},
  author = {Erik Meijer and Johan  Jeuring},
  year = {1995},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/MeijerJ95},
  cites = {0},
  citedby = {0},
  pages = {228-266},
  booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text},
  editor = {Johan  Jeuring and Erik Meijer},
  volume = {925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59451-5},
}

@article{Jeuring94,
  title = {The Derivation of On-Line Algorithms, with an Application To Finding Palindromes},
  author = {Johan  Jeuring},
  year = {1994},
  researchr = {https://researchr.org/publication/Jeuring94},
  cites = {0},
  citedby = {0},
  journal = {Algorithmica},
  volume = {11},
  number = {2},
  pages = {146-184},
}

@inproceedings{JeuringJA12,
  title = {Testing type class laws},
  author = {Johan  Jeuring and Patrik Jansson and Cláudio Amaral},
  year = {2012},
  doi = {10.1145/2364506.2364514},
  url = {http://doi.acm.org/10.1145/2364506.2364514},
  researchr = {https://researchr.org/publication/JeuringJA12},
  cites = {0},
  citedby = {0},
  pages = {49-60},
  booktitle = {Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012},
  editor = {Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-4503-1574-6},
}

@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{AtanassowCJ04,
  title = {UUXML: A Type-Preserving XML Schema-Haskell Data Binding},
  author = {Frank Atanassow and Dave Clarke and Johan  Jeuring},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3057&spage=71},
  tags = {XML, XML Schema, Haskell},
  researchr = {https://researchr.org/publication/AtanassowCJ04},
  cites = {0},
  citedby = {0},
  pages = {71-85},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium, PADL 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  editor = {Bharat Jayaraman},
  volume = {3057},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22253-7},
}

@misc{Clarke01thegeneric,
  title = {The Generic Haskell User's Guide},
  author = {Dave Clarke and Johan  Jeuring and Andres Löh},
  year = {2001},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Clarke01thegeneric},
  cites = {0},
  citedby = {0},
}

@inproceedings{SteenbergenMJ10,
  title = {Generic selections of subexpressions},
  author = {Martijn Van Steenbergen and José Pedro Magalhães and Johan  Jeuring},
  year = {2010},
  doi = {10.1145/1863495.1863501},
  url = {http://doi.acm.org/10.1145/1863495.1863501},
  researchr = {https://researchr.org/publication/SteenbergenMJ10},
  cites = {0},
  citedby = {0},
  pages = {37-48},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Generic Programming, WGP 2010, Baltimore, MD, USA, September 27-29, 2010},
  editor = {Bruno C. d. S. Oliveira and Marcin Zalewski},
  publisher = {ACM},
  isbn = {978-1-4503-0251-7},
}

@inproceedings{Jeuring13,
  title = {Finding Palindromes: Variants and Algorithms},
  author = {Johan  Jeuring},
  year = {2013},
  doi = {10.1007/978-3-642-40355-2_18},
  url = {http://dx.doi.org/10.1007/978-3-642-40355-2_18},
  researchr = {https://researchr.org/publication/Jeuring13},
  cites = {0},
  citedby = {0},
  pages = {258-272},
  booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday},
  editor = {Peter Achten and Pieter W. M. Koopman},
  volume = {8106},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40354-5},
}

@article{HinzeJ01,
  title = {Weaving a web},
  author = {Ralf Hinze and Johan  Jeuring},
  year = {2001},
  tags = {weaving},
  researchr = {https://researchr.org/publication/HinzeJ01},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {11},
  number = {6},
  pages = {681-689},
}

@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{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{MagalhaesHJL10,
  title = {Optimizing generics is easy!},
  author = {José Pedro Magalhães and Stefan Holdermans and Johan  Jeuring and Andres Löh},
  year = {2010},
  doi = {10.1145/1706356.1706366},
  url = {http://doi.acm.org/10.1145/1706356.1706366},
  tags = {optimization},
  researchr = {https://researchr.org/publication/MagalhaesHJL10},
  cites = {0},
  citedby = {0},
  pages = {33-42},
  booktitle = {Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010},
  editor = {John P. Gallagher and Janis Voigtländer},
  publisher = {ACM},
  isbn = {978-1-60558-727-1},
}

@inproceedings{JanssonJCEKMOV06,
  title = {Testing Properties of Generic Functions},
  author = {Patrik Jansson and Johan  Jeuring and Laurence Cabenda and Gerbo Engels and Jacob Kleerekoper and Sander Mak and Michiel Overeem and Kees Visser},
  year = {2006},
  doi = {10.1007/978-3-540-74130-5_13},
  url = {http://dx.doi.org/10.1007/978-3-540-74130-5_13},
  tags = {rule-based, testing, Haskell, data-flow, type checking, QuickCheck},
  researchr = {https://researchr.org/publication/JanssonJCEKMOV06},
  cites = {0},
  citedby = {0},
  pages = {217-234},
  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{LohCJ03-0,
  title = {Dependency-style generic haskell},
  author = {Andres Löh and Dave Clarke and Johan  Jeuring},
  year = {2003},
  doi = {10.1145/944746.944719},
  url = {http://doi.acm.org/10.1145/944746.944719},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/LohCJ03-0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN Notices},
  volume = {38},
  number = {9},
  pages = {141-152},
}

@inproceedings{Magalhes:PEPM:2010,
  title = {Optimizing Generics Is Easy!},
  author = {José Pedro Magalhães and Stefan Holdermans and Johan  Jeuring and Andres Löh},
  tags = {optimization},
  researchr = {https://researchr.org/publication/Magalhes%3APEPM%3A2010},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the {ACM SIGPLAN} 2010 Workshop on Partial Evaluation and Program Manipulation},
  editor = {John P. Gallagher and Janis Voigtländer},
  publisher = {ACM},
}

@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{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},
}

@inproceedings{HinzeJL06,
  title = {Typed Contracts for Functional Programming},
  author = {Ralf Hinze and Johan  Jeuring and Andres Löh},
  year = {2006},
  doi = {10.1007/11737414_15},
  url = {http://dx.doi.org/10.1007/11737414_15},
  tags = {programming languages, object-oriented programming, meta programming, data-flow language, generic programming, software components, contracts, embedded software, functional programming, software component, language design, Haskell, data-flow programming, data-flow,  algebra, programming, subject-oriented programming, Meta-Environment, software contracts, design, systematic-approach, feature-oriented programming, meta-objects, domain-specific language},
  researchr = {https://researchr.org/publication/HinzeJL06},
  cites = {0},
  citedby = {0},
  pages = {208-225},
  booktitle = {Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  editor = {Masami Hagiya and Philip Wadler},
  volume = {3945},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33438-6},
}

@inproceedings{YakushevHLJ09,
  title = {Generic programming with fixed points for mutually recursive datatypes},
  author = {Alexey Rodriguez Yakushev and Stefan Holdermans and Andres Löh and Johan  Jeuring},
  year = {2009},
  doi = {10.1145/1596550.1596585},
  url = {http://doi.acm.org/10.1145/1596550.1596585},
  tags = {generic programming, programming},
  researchr = {https://researchr.org/publication/YakushevHLJ09},
  cites = {0},
  citedby = {0},
  pages = {233-244},
  booktitle = {Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009},
  editor = {Graham Hutton and Andrew P. Tolmach},
  publisher = {ACM},
  isbn = {978-1-60558-332-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{PassierJ05,
  title = {Using Schema Analysis for Feedback in Authoring Tools for Learning Environments},
  author = {Harrie Passier and Johan  Jeuring},
  year = {2005},
  tags = {XML, XML Schema, analysis, Meta-Environment},
  researchr = {https://researchr.org/publication/PassierJ05},
  cites = {0},
  citedby = {0},
  pages = {911-913},
  booktitle = {Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, July 18-22, 2005, Amsterdam, The Netherla},
  editor = {Chee-Kit Looi and Gordon I. McCalla and Bert Bredeweg and Joost Breuker},
  volume = {125},
  series = {Frontiers in Artificial Intelligence and Applications},
  publisher = {IOS Press},
  isbn = {978-1-58603-530-3},
}

@inproceedings{LohCJ03,
  title = {Dependency-style generic Haskell},
  author = {Andres Löh and Dave Clarke and Johan  Jeuring},
  year = {2003},
  doi = {10.1145/944705.944719},
  url = {http://doi.acm.org/10.1145/944705.944719},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/LohCJ03},
  cites = {0},
  citedby = {0},
  pages = {141-152},
  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{JeuringRS06,
  title = {Generating generic functions},
  author = {Johan  Jeuring and Alexey Rodriguez and Gideon Smeding},
  year = {2006},
  doi = {10.1145/1159861.1159865},
  url = {http://doi.acm.org/10.1145/1159861.1159865},
  researchr = {https://researchr.org/publication/JeuringRS06},
  cites = {0},
  citedby = {0},
  pages = {23-32},
  booktitle = {Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, WGP 2006, Portland, Oregon, USA, September 16, 2006},
  editor = {Ralf Hinze},
  publisher = {ACM},
}

@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{RoijersJF12,
  title = {Probability estimation and a competence model for rule based e-tutoring systems},
  author = {Diederik M. Roijers and Johan  Jeuring and Ad Feelders},
  year = {2012},
  doi = {10.1145/2330601.2330663},
  url = {http://doi.acm.org/10.1145/2330601.2330663},
  researchr = {https://researchr.org/publication/RoijersJF12},
  cites = {0},
  citedby = {0},
  pages = {255-258},
  booktitle = {Second International Conference on Learning Analytics and Knowledge, LAK 2012, Vancouver, BC, Canada, April 29 - May 02, 2012},
  editor = {Shane Dawson and Caroline Haythornthwaite and Simon Buckingham Shum and Dragan Gasevic and Rebecca Ferguson},
  publisher = {ACM},
  isbn = {978-1-4503-1111-3},
}

@inproceedings{JeuringS95,
  title = {Constructing Functional Programs for Grammar Analysis Problems},
  author = {Johan  Jeuring and S. Doaitse Swierstra},
  year = {1995},
  tags = {program analysis, functional programming, analysis, grammar},
  researchr = {https://researchr.org/publication/JeuringS95},
  cites = {0},
  citedby = {0},
  pages = {259-269},
  booktitle = {FPCA},
}

@article{AtanassowJ07,
  title = {Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell},
  author = {Frank Atanassow and Johan  Jeuring},
  year = {2007},
  doi = {10.1016/j.scico.2006.01.005},
  url = {http://dx.doi.org/10.1016/j.scico.2006.01.005},
  tags = {type inference, XML, XML Schema, Haskell, data-flow},
  researchr = {https://researchr.org/publication/AtanassowJ07},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {65},
  number = {2},
  pages = {72-107},
}

@inproceedings{LeatherJLS14,
  title = {Type-changing rewriting and semantics-preserving transformation},
  author = {Sean Leather and Johan  Jeuring and Andres Löh and Bram Schuur},
  year = {2014},
  doi = {10.1145/2543728.2543734},
  url = {http://doi.acm.org/10.1145/2543728.2543734},
  researchr = {https://researchr.org/publication/LeatherJLS14},
  cites = {0},
  citedby = {0},
  pages = {109-120},
  booktitle = {Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA},
  editor = {Wei-Ngan Chin and Jurriaan Hage},
  publisher = {ACM},
  isbn = {978-1-4503-2619-3},
}

@inproceedings{AtanassowJ04,
  title = {Inferring Type Isomorphisms Generically},
  author = {Frank Atanassow and Johan  Jeuring},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3125&spage=32},
  researchr = {https://researchr.org/publication/AtanassowJ04},
  cites = {0},
  citedby = {0},
  pages = {32-53},
  booktitle = {Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  editor = {Dexter Kozen and Carron Shankland},
  volume = {3125},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-22380-0},
}

@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},
}

@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{MagalhaesDJL10,
  title = {A generic deriving mechanism for Haskell},
  author = {José Pedro Magalhães and Atze Dijkstra and Johan  Jeuring and Andres Löh},
  year = {2010},
  doi = {10.1145/1863523.1863529},
  url = {http://doi.acm.org/10.1145/1863523.1863529},
  researchr = {https://researchr.org/publication/MagalhaesDJL10},
  cites = {0},
  citedby = {0},
  pages = {37-48},
  booktitle = {Proceedings of the 3rd ACM SIGPLAN Symposium on Haskell, Haskell 2010, Baltimore, MD, USA, 30 September 2010},
  editor = {Jeremy Gibbons},
  publisher = {ACM},
  isbn = {978-1-4503-0252-4},
}

@inproceedings{BackhouseJJM98,
  title = {Generic Programming: An Introduction},
  author = {Roland Carl Backhouse and Patrik Jansson and Johan  Jeuring and Lambert G. L. T. Meertens},
  year = {1998},
  tags = {generic programming, programming},
  researchr = {https://researchr.org/publication/BackhouseJJM98},
  cites = {0},
  citedby = {0},
  pages = {28-115},
  booktitle = {Advanced Functional Programming},
}

@inproceedings{JeuringJ96,
  title = {Polytypic Programming},
  author = {Johan  Jeuring and Patrik Jansson},
  year = {1996},
  tags = {polytypic programming, Haskell,  QML, programming, polytypic},
  researchr = {https://researchr.org/publication/JeuringJ96},
  cites = {0},
  citedby = {0},
  pages = {68-114},
  booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text},
  editor = {John Launchbury and Erik Meijer and Tim  Sheard},
  volume = {1129},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61628-4},
}

@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},
}

@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{Jeuring95,
  title = {Polytypic Pattern Matching},
  author = {Johan  Jeuring},
  year = {1995},
  tags = {pattern matching, polytypic},
  researchr = {https://researchr.org/publication/Jeuring95},
  cites = {0},
  citedby = {0},
  pages = {238-248},
  booktitle = {FPCA},
}

@inproceedings{JanssonJ97,
  title = {Polyp - A Polytypic Programming Language},
  author = {Patrik Jansson and Johan  Jeuring},
  year = {1997},
  doi = {10.1145/263699.263763},
  url = {http://doi.acm.org/10.1145/263699.263763},
  tags = {programming languages, polytypic programming, programming, polytypic},
  researchr = {https://researchr.org/publication/JanssonJ97},
  cites = {0},
  citedby = {0},
  pages = {470-482},
  booktitle = {Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

@inproceedings{HinzeJL02,
  title = {Type-Indexed Data Types},
  author = {Ralf Hinze and Johan  Jeuring and Andres Löh},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2386/23860148.htm},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/HinzeJL02},
  cites = {0},
  citedby = {0},
  pages = {148-174},
  booktitle = {Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  editor = {Eerke Boiten and Bernhard Möller},
  volume = {2386},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43857-2},
}

@inproceedings{HoldermansJLR06,
  title = {Generic Views on Data Types},
  author = {Stefan Holdermans and Johan  Jeuring and Andres Löh and Alexey Rodriguez},
  year = {2006},
  doi = {10.1007/11783596_14},
  url = {http://dx.doi.org/10.1007/11783596_14},
  tags = {programming languages, data-flow language, pattern language, generic programming, functional programming, Haskell, data-flow programming, data-flow, programming, systematic-approach},
  researchr = {https://researchr.org/publication/HoldermansJLR06},
  cites = {0},
  citedby = {0},
  pages = {209-234},
  booktitle = {Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  editor = {Tarmo Uustalu},
  volume = {4014},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35631-2},
}

@inproceedings{JanssonJ99,
  title = {Polytypic Compact Printing and Parsing},
  author = {Patrik Jansson and Johan  Jeuring},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760273.htm},
  tags = {polytypic, parsing},
  researchr = {https://researchr.org/publication/JanssonJ99},
  cites = {0},
  citedby = {0},
  pages = {273-287},
  booktitle = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@inproceedings{JeuringS94,
  title = {Bottom-up Grammar Analysis - A Functional Formulation},
  author = {Johan  Jeuring and S. Doaitse Swierstra},
  year = {1994},
  tags = {analysis, grammar},
  researchr = {https://researchr.org/publication/JeuringS94},
  cites = {0},
  citedby = {0},
  pages = {317-332},
  booktitle = {Programming Languages and Systems - ESOP 94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings},
  editor = {Donald Sannella},
  volume = {788},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-57880-3},
}

@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{HinzeJ03a,
  title = {Generic Haskell: Applications},
  author = {Ralf Hinze and Johan  Jeuring},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2793&spage=57},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HinzeJ03a},
  cites = {0},
  citedby = {0},
  pages = {57-96},
  booktitle = {Generic Programming - Advanced Lectures},
  editor = {Roland Carl Backhouse and Jeremy Gibbons},
  volume = {2793},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20194-7},
}

@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{JeuringLMY08,
  title = {Libraries for Generic Programming in Haskell},
  author = {Johan  Jeuring and Sean Leather and José Pedro Magalhães and Alexey Rodriguez Yakushev},
  year = {2008},
  doi = {10.1007/978-3-642-04652-0_4},
  url = {http://dx.doi.org/10.1007/978-3-642-04652-0_4},
  tags = {generic programming, Haskell, programming},
  researchr = {https://researchr.org/publication/JeuringLMY08},
  cites = {0},
  citedby = {0},
  pages = {165-229},
  booktitle = {Advanced Functional Programming, 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures},
  editor = {Pieter W. M. Koopman and Rinus Plasmeijer and S. Doaitse Swierstra},
  volume = {5832},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04651-3},
}

@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{1782896,
  title = {Comparing approaches to generic programming in Haskell},
  author = {Ralf Hinze and Johan  Jeuring and Andres Löh},
  year = {2007},
  doi = {10.1.1.74.7121},
  tags = {generic programming, Haskell, programming, systematic-approach},
  researchr = {https://researchr.org/publication/1782896},
  cites = {0},
  citedby = {0},
  booktitle = {SSDGP'06: Proceedings of the 2006 international conference on Datatype-generic programming},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  isbn = {3-540-76785-1, 978-3-540-76785-5},
}

@article{VaessenPJ14,
  title = {University students' achievement goals and help-seeking strategies in an intelligent tutoring system},
  author = {Bram E. Vaessen and Frans J. Prins and Johan  Jeuring},
  year = {2014},
  doi = {10.1016/j.compedu.2013.11.001},
  url = {http://dx.doi.org/10.1016/j.compedu.2013.11.001},
  researchr = {https://researchr.org/publication/VaessenPJ14},
  cites = {0},
  citedby = {0},
  journal = {Computers & Education},
  volume = {72},
  pages = {196-208},
}

@inproceedings{GayoJR13,
  title = {Inductive Triple Graphs: A Purely Functional Approach to Represent RDF},
  author = {José Emilio Labra Gayo and Johan  Jeuring and Jose María Álvarez Rodríguez},
  year = {2013},
  doi = {10.1007/978-3-319-04534-4_7},
  url = {http://dx.doi.org/10.1007/978-3-319-04534-4_7},
  researchr = {https://researchr.org/publication/GayoJR13},
  cites = {0},
  citedby = {0},
  pages = {92-110},
  booktitle = {Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers},
  editor = {Madalina Croitoru and Sebastian Rudolph and Stefan Woltran and Christophe Gonzales},
  volume = {8323},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-04533-7},
}

@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{YakushevJ09,
  title = {Enumerating Well-Typed Terms Generically},
  author = {Alexey Rodriguez Yakushev and Johan  Jeuring},
  year = {2009},
  doi = {10.1007/978-3-642-11931-6_5},
  url = {http://dx.doi.org/10.1007/978-3-642-11931-6_5},
  researchr = {https://researchr.org/publication/YakushevJ09},
  cites = {0},
  citedby = {0},
  pages = {93-116},
  booktitle = {Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  editor = {Ute Schmid and Emanuel Kitzelmann and Rinus Plasmeijer},
  volume = {5812},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11930-9},
}

@inproceedings{HinzeJL06-0,
  title = {Comparing Approaches to Generic Programming in Haskell},
  author = {Ralf Hinze and Johan  Jeuring and Andres Löh},
  year = {2006},
  doi = {10.1007/978-3-540-76786-2_2},
  url = {http://dx.doi.org/10.1007/978-3-540-76786-2_2},
  researchr = {https://researchr.org/publication/HinzeJL06-0},
  cites = {0},
  citedby = {0},
  pages = {72-149},
  booktitle = {Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  editor = {Roland Carl Backhouse and Jeremy Gibbons and Ralf Hinze and Johan  Jeuring},
  volume = {4719},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76785-5},
}

@article{HinzeJL04,
  title = {Type-indexed data types},
  author = {Ralf Hinze and Johan  Jeuring and Andres Löh},
  year = {2004},
  doi = {10.1016/j.scico.2003.07.001},
  url = {http://dx.doi.org/10.1016/j.scico.2003.07.001},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/HinzeJL04},
  cites = {0},
  citedby = {0},
  journal = {Science of Computer Programming},
  volume = {51},
  number = {1-2},
  pages = {117-151},
}

@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},
}
@proceedings{ssdgp-2006,
  title = {Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  year = {2007},
  doi = {10.1007/978-3-540-76786-2},
  url = {http://dx.doi.org/10.1007/978-3-540-76786-2},
  researchr = {https://researchr.org/publication/ssdgp-2006},
  cites = {0},
  citedby = {0},
  booktitle = {Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  conference = {ssdgp},
  editor = {Roland Carl Backhouse and Jeremy Gibbons and Ralf Hinze and Johan  Jeuring},
  volume = {4719},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76785-5},
}

@proceedings{aisc-2012,
  title = {Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings},
  year = {2012},
  doi = {10.1007/978-3-642-31374-5},
  url = {http://dx.doi.org/10.1007/978-3-642-31374-5},
  researchr = {https://researchr.org/publication/aisc-2012},
  cites = {0},
  citedby = {0},
  booktitle = {Intelligent Computer Mathematics - 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings},
  conference = {AISC},
  editor = {Johan  Jeuring and John A. Campbell and Jacques Carette and Gabriel Dos Reis and Petr Sojka and Makarius Wenzel and Volker Sorge},
  volume = {7362},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-31373-8},
}

@proceedings{afp:2002,
  title = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
  year = {2003},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/afp%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures},
  conference = {afp},
  editor = {Johan  Jeuring and Simon L. Peyton Jones},
  volume = {2638},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40132-6},
}

@proceedings{afp:1995,
  title = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text},
  year = {1995},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/afp%3A1995},
  cites = {0},
  citedby = {0},
  booktitle = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text},
  conference = {afp},
  editor = {Johan  Jeuring and Erik Meijer},
  volume = {925},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59451-5},
}

@proceedings{mpc:1998,
  title = {Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings},
  year = {1998},
  researchr = {https://researchr.org/publication/mpc%3A1998},
  cites = {0},
  citedby = {0},
  booktitle = {Mathematics of Program Construction, MPC 98, Marstrand, Sweden, June 15-17, 1998, Proceedings},
  conference = {mpc},
  editor = {Johan  Jeuring},
  volume = {1422},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64591-8},
}

@proceedings{ifip2-1:2002,
  title = {Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany},
  year = {2003},
  tags = {generic programming, programming},
  researchr = {https://researchr.org/publication/ifip2-1%3A2002},
  cites = {0},
  citedby = {0},
  booktitle = {Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany},
  conference = {ifip2-1},
  editor = {Jeremy Gibbons and Johan  Jeuring},
  volume = {243},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {1-4020-7374-7},
}