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

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

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

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

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

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

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

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

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

@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 = {JFP},
  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 = {mics},
  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 = {mkm},
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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