BibTeX records: Johan Jeuring

download as .bib file

@article{DBLP:journals/jeric/KeuningJH19,
  author    = {Hieke Keuning and
               Johan Jeuring and
               Bastiaan Heeren},
  title     = {A Systematic Literature Review of Automated Feedback Generation for
               Programming Exercises},
  journal   = {{TOCE}},
  volume    = {19},
  number    = {1},
  pages     = {3:1--3:43},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3231711},
  timestamp = {Wed, 23 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jeric/KeuningJH19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/HeerenJSDBTKWGC18,
  author    = {Bastiaan Heeren and
               Johan Jeuring and
               Sergey A. Sosnovsky and
               Paul Drijvers and
               Peter Boon and
               Sietske Tacoma and
               Jesse Koops and
               Armin Weinberger and
               Brigitte Grugeon{-}Allys and
               Fran{\c{c}}oise Chenevotot{-}Quentin and
               Jorn van Wijk and
               Ferdinand van Walree},
  title     = {Fine-Grained Cognitive Assessment Based on Free-Form Input for Math
               Story Problems},
  booktitle = {Lifelong Technology-Enhanced Learning - 13th European Conference on
               Technology Enhanced Learning, {EC-TEL} 2018, Leeds, UK, September
               3-5, 2018, Proceedings},
  pages     = {262--276},
  year      = {2018},
  crossref  = {DBLP:conf/ectel/2018},
  url       = {https://doi.org/10.1007/978-3-319-98572-5\_20},
  doi       = {10.1007/978-3-319-98572-5\_20},
  timestamp = {Mon, 27 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ectel/HeerenJSDBTKWGC18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/Pel-LittelZSNJ18,
  author    = {Ruth Pel{-}Littel and
               Henk van Zeijts and
               Nadine Schram and
               Henk Herman Nap and
               Johan Jeuring},
  title     = {A training simulation for practicing shared decision making for older
               patients},
  booktitle = {The 9th International Conference on Emerging Ubiquitous Systems and
               Pervasive Networks {(EUSPN} 2018) / The 8th International Conference
               on Current and Future Trends of Information and Communication Technologies
               in Healthcare {(ICTH-2018)} / Affiliated Workshops, November 5-8,
               2018, Leuven, Belgium.},
  pages     = {287--293},
  year      = {2018},
  crossref  = {DBLP:conf/euspn/2018},
  url       = {https://doi.org/10.1016/j.procs.2018.10.198},
  doi       = {10.1016/j.procs.2018.10.198},
  timestamp = {Fri, 11 Jan 2019 17:50:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/euspn/Pel-LittelZSNJ18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lats/BuwaldaJN18,
  author    = {Milo Buwalda and
               Johan Jeuring and
               Nico Naus},
  title     = {Use expert knowledge instead of data: generating hints for hour of
               code exercises},
  booktitle = {Proceedings of the Fifth Annual {ACM} Conference on Learning at Scale,
               London, UK, June 26-28, 2018},
  pages     = {32:1--32:4},
  year      = {2018},
  crossref  = {DBLP:conf/lats/2018},
  url       = {https://doi.org/10.1145/3231644.3231690},
  doi       = {10.1145/3231644.3231690},
  timestamp = {Wed, 21 Nov 2018 12:44:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lats/BuwaldaJN18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/GerdesHJB17,
  author    = {Alex Gerdes and
               Bastiaan Heeren and
               Johan Jeuring and
               L. Thomas van Binsbergen},
  title     = {Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated
               Feedback},
  journal   = {I. J. Artificial Intelligence in Education},
  volume    = {27},
  number    = {1},
  pages     = {65--100},
  year      = {2017},
  url       = {https://doi.org/10.1007/s40593-015-0080-x},
  doi       = {10.1007/s40593-015-0080-x},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aiedu/GerdesHJB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsg/BottinoJ17,
  author    = {Rosa Maria Bottino and
               Johan Jeuring},
  title     = {Guest editorial},
  journal   = {Int. J. Serious Games},
  volume    = {4},
  number    = {3},
  year      = {2017},
  url       = {http://journal.seriousgamessociety.org/index.php?journal=IJSG\&\#38;page=article\&\#38;op=view\&\#38;path\%5B\%5D=215},
  timestamp = {Thu, 12 Oct 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijsg/BottinoJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/HeerenJ17,
  author    = {Bastiaan Heeren and
               Johan Jeuring},
  title     = {An Extensible Domain-Specific Language for Describing Problem-Solving
               Procedures},
  booktitle = {Artificial Intelligence in Education - 18th International Conference,
               {AIED} 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings},
  pages     = {77--89},
  year      = {2017},
  crossref  = {DBLP:conf/aied/2017},
  url       = {https://doi.org/10.1007/978-3-319-61425-0\_7},
  doi       = {10.1007/978-3-319-61425-0\_7},
  timestamp = {Tue, 27 Jun 2017 09:08:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/HeerenJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BorstlerSTADHJK17a,
  author    = {J{\"{u}}rgen B{\"{o}}rstler and
               Harald St{\"{o}}rrle and
               Daniel Toll and
               Jelle van Assema and
               Rodrigo Duran and
               Sara Hooshangi and
               Johan Jeuring and
               Hieke Keuning and
               Carsten Kleiner and
               Bonnie K. MacKellar},
  title     = {"I know it when {I} see it" Perceptions of Code Quality:
               ITiCSE '17 Working Group Report},
  booktitle = {Proceedings of the 2017 ITiCSE Working Group Reports, ITiCSE-WGR 2017,
               Bologna, Italy, July 3-5, 2017.},
  pages     = {70--85},
  year      = {2017},
  crossref  = {DBLP:conf/iticse/2017wgr},
  url       = {https://doi.org/10.1145/3174781.3174785},
  doi       = {10.1145/3174781.3174785},
  timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/BorstlerSTADHJK17a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningHJ17,
  author    = {Hieke Keuning and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Code Quality Issues in Student Programs},
  booktitle = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
               in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
               2017},
  pages     = {110--115},
  year      = {2017},
  crossref  = {DBLP:conf/iticse/2017},
  url       = {https://doi.org/10.1145/3059009.3059061},
  doi       = {10.1145/3059009.3059061},
  timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/KeuningHJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/BorstlerSTADHJK17,
  author    = {J{\"{u}}rgen B{\"{o}}rstler and
               Harald St{\"{o}}rrle and
               Daniel Toll and
               Jelle van Assema and
               Rodrigo Duran and
               Sara Hooshangi and
               Johan Jeuring and
               Hieke Keuning and
               Carsten Kleiner and
               Bonnie K. MacKellar},
  title     = {"I know it when {I} see it": Perceptions of Code Quality},
  booktitle = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
               in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
               2017},
  pages     = {389},
  year      = {2017},
  crossref  = {DBLP:conf/iticse/2017},
  url       = {https://doi.org/10.1145/3059009.3081328},
  doi       = {10.1145/3059009.3081328},
  timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/BorstlerSTADHJK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/ArendsKHJ17,
  author    = {Hugo Arends and
               Hieke Keuning and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {An intelligent tutor to learn the evaluation of microcontroller {I/O}
               programming expressions},
  booktitle = {Proceedings of the 17th Koli Calling Conference on Computing Education
               Research, Koli, Finland, November 16-19, 2017},
  pages     = {2--9},
  year      = {2017},
  crossref  = {DBLP:conf/kolicalling/2017},
  url       = {https://doi.org/10.1145/3141880.3141884},
  doi       = {10.1145/3141880.3141884},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/ArendsKHJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/EsJ17,
  author    = {Nienke van Es and
               Johan Jeuring},
  title     = {Designing and comparing two scratch-based teaching approaches for
               students aged 10-12 years},
  booktitle = {Proceedings of the 17th Koli Calling Conference on Computing Education
               Research, Koli, Finland, November 16-19, 2017},
  pages     = {178--182},
  year      = {2017},
  crossref  = {DBLP:conf/kolicalling/2017},
  url       = {https://doi.org/10.1145/3141880.3141883},
  doi       = {10.1145/3141880.3141883},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/EsJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LodderHJ17,
  author    = {Josje Lodder and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Generating Hints and Feedback for Hilbert-style Axiomatic Proofs},
  booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
               Science Education, Seattle, WA, USA, March 8-11, 2017},
  pages     = {387--392},
  year      = {2017},
  crossref  = {DBLP:conf/sigcse/2017},
  url       = {https://doi.org/10.1145/3017680.3017736},
  doi       = {10.1145/3017680.3017736},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/LodderHJ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/LodderHJ16,
  author    = {Josje Lodder and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {A Domain Reasoner for Propositional Logic},
  journal   = {J. {UCS}},
  volume    = {22},
  number    = {8},
  pages     = {1097--1122},
  year      = {2016},
  url       = {http://www.jucs.org/jucs\_22\_8/a\_domain\_reasoner\_for},
  timestamp = {Wed, 09 Nov 2016 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jucs/LodderHJ16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningJH16,
  author    = {Hieke Keuning and
               Johan Jeuring and
               Bastiaan Heeren},
  title     = {Towards a Systematic Review of Automated Feedback Generation for Programming
               Exercises},
  booktitle = {Proceedings of the 2016 {ACM} Conference on Innovation and Technology
               in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13,
               2016},
  pages     = {41--46},
  year      = {2016},
  crossref  = {DBLP:conf/iticse/2016},
  url       = {https://doi.org/10.1145/2899415.2899422},
  doi       = {10.1145/2899415.2899422},
  timestamp = {Tue, 06 Nov 2018 11:07:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/KeuningJH16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gala/2016,
  editor    = {Rosa Bottino and
               Johan Jeuring and
               Remco C. Veltkamp},
  title     = {Games and Learning Alliance - 5th International Conference, {GALA}
               2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10056},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-50182-6},
  doi       = {10.1007/978-3-319-50182-6},
  isbn      = {978-3-319-50181-9},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gala/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/JeuringM16,
  editor    = {Johan Jeuring and
               Jay McCarthy},
  title     = {Proceedings of the 4th and 5th International Workshop on Trends in
               Functional Programming in Education, {TFPIE} 2016, Sophia-Antipolis,
               France and University of Maryland College Park, USA, 2nd June 2015
               and 7th June 2016},
  series    = {{EPTCS}},
  volume    = {230},
  year      = {2016},
  url       = {https://doi.org/10.4204/EPTCS.230},
  doi       = {10.4204/EPTCS.230},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JeuringM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LeatherJLS15,
  author    = {Sean Leather and
               Johan Jeuring and
               Andres L{\"{o}}h and
               Bram Schuur},
  title     = {Type-changing rewriting and semantics-preserving transformation},
  journal   = {Sci. Comput. Program.},
  volume    = {112},
  pages     = {145--169},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.07.009},
  doi       = {10.1016/j.scico.2015.07.009},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/LeatherJLS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/JeuringGHHIJMSW15,
  author    = {Johan Jeuring and
               Frans Grosfeld and
               Bastiaan Heeren and
               Michiel Hulsbergen and
               Richta IJntema and
               Vincent Jonker and
               Nicole Mastenbroek and
               Maarten van der Smagt and
               Frank Wijmans and
               Majanne Wolters and
               Henk van Zeijts},
  title     = {Communicate! - {A} Serious Game for Communication Skills -},
  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},
  pages     = {513--517},
  year      = {2015},
  crossref  = {DBLP:conf/ectel/2015},
  url       = {https://doi.org/10.1007/978-3-319-24258-3\_49},
  doi       = {10.1007/978-3-319-24258-3\_49},
  timestamp = {Wed, 24 May 2017 08:30:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ectel/JeuringGHHIJMSW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gala/SmaleOJG15,
  author    = {Stephanie de Smale and
               Tom Overmans and
               Johan Jeuring and
               Liesbeth van de Grint},
  title     = {The Effect of Simulations and Games on Learning Objectives in Tertiary
               Education: {A} Systematic Review},
  booktitle = {Games and Learning Alliance - 4th International Conference, {GALA}
               2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers},
  pages     = {506--516},
  year      = {2015},
  crossref  = {DBLP:conf/gala/2015},
  url       = {https://doi.org/10.1007/978-3-319-40216-1\_55},
  doi       = {10.1007/978-3-319-40216-1\_55},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gala/SmaleOJG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/AlkemadeJ15,
  author    = {Thijs Alkemade and
               Johan Jeuring},
  title     = {Type Class Instances for Type-Level Lambdas in Haskell},
  booktitle = {Trends in Functional Programming - 16th International Symposium, {TFP}
               2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
  pages     = {60--84},
  year      = {2015},
  crossref  = {DBLP:conf/sfp/2015},
  url       = {https://doi.org/10.1007/978-3-319-39110-6\_4},
  doi       = {10.1007/978-3-319-39110-6\_4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/AlkemadeJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LodderHJ15,
  author    = {Josje Lodder and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {A pilot study of the use of LogEx, lessons learned},
  journal   = {CoRR},
  volume    = {abs/1507.03671},
  year      = {2015},
  url       = {http://arxiv.org/abs/1507.03671},
  archivePrefix = {arXiv},
  eprint    = {1507.03671},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LodderHJ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ce/VaessenPJ14,
  author    = {Bram E. Vaessen and
               Frans J. Prins and
               Johan Jeuring},
  title     = {University students' achievement goals and help-seeking strategies
               in an intelligent tutoring system},
  journal   = {Computers {\&} Education},
  volume    = {72},
  pages     = {196--208},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.compedu.2013.11.001},
  doi       = {10.1016/j.compedu.2013.11.001},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ce/VaessenPJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HeerenJ14,
  author    = {Bastiaan Heeren and
               Johan Jeuring},
  title     = {Feedback services for stepwise exercises},
  journal   = {Sci. Comput. Program.},
  volume    = {88},
  pages     = {110--129},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2014.02.021},
  doi       = {10.1016/j.scico.2014.02.021},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/HeerenJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/GayoJR14,
  author    = {Jos{\'{e}} Emilio Labra Gayo and
               Johan Jeuring and
               Jose Mar{\'{\i}}a {\'{A}}lvarez Rodr{\'{\i}}guez},
  title     = {Inductive representations of {RDF} graphs},
  journal   = {Sci. Comput. Program.},
  volume    = {95},
  pages     = {135--146},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2013.12.011},
  doi       = {10.1016/j.scico.2013.12.011},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/GayoJR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/JeuringBGH14,
  author    = {Johan Jeuring and
               L. Thomas van Binsbergen and
               Alex Gerdes and
               Bastiaan Heeren},
  title     = {Model solutions and properties for diagnosing student programs in
               Ask-Elle},
  booktitle = {Proceedings of the Computer Science Education Research Conference,
               {CSERC} 2014, Berlin, Germany, November 5-6, 2014},
  pages     = {31--40},
  year      = {2014},
  crossref  = {DBLP:conf/cserc/2014},
  url       = {https://doi.org/10.1145/2691352.2691355},
  doi       = {10.1145/2691352.2691355},
  timestamp = {Tue, 06 Nov 2018 11:07:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cserc/JeuringBGH14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/KeuningHJ14,
  author    = {Hieke Keuning and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Strategy-based feedback in a programming tutor},
  booktitle = {Proceedings of the Computer Science Education Research Conference,
               {CSERC} 2014, Berlin, Germany, November 5-6, 2014},
  pages     = {43--54},
  year      = {2014},
  crossref  = {DBLP:conf/cserc/2014},
  url       = {https://doi.org/10.1145/2691352.2691356},
  doi       = {10.1145/2691352.2691356},
  timestamp = {Tue, 06 Nov 2018 11:07:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cserc/KeuningHJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LeatherJLS14,
  author    = {Sean Leather and
               Johan Jeuring and
               Andres L{\"{o}}h and
               Bram Schuur},
  title     = {Type-changing rewriting and semantics-preserving transformation},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
               and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
               California, {USA}},
  pages     = {109--120},
  year      = {2014},
  crossref  = {DBLP:conf/pepm/2014},
  url       = {https://doi.org/10.1145/2543728.2543734},
  doi       = {10.1145/2543728.2543734},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/LeatherJLS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/OlmerHJ14,
  author    = {Tim Olmer and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Evaluating Haskell expressions in a tutoring environment},
  booktitle = {Proceedings 3rd International Workshop on Trends in Functional Programming
               in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
               2014.},
  pages     = {50--66},
  year      = {2014},
  crossref  = {DBLP:journals/corr/CaldwellHA14},
  url       = {https://doi.org/10.4204/EPTCS.170.4},
  doi       = {10.4204/EPTCS.170.4},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/OlmerHJ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2014,
  editor    = {Johan Jeuring and
               Manuel M. T. Chakravarty},
  title     = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
               Functional programming, Gothenburg, Sweden, September 1-3, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2628136},
  isbn      = {978-1-4503-2873-9},
  timestamp = {Thu, 20 Nov 2014 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Jeuring13,
  author    = {Johan Jeuring},
  title     = {Finding Palindromes: Variants and Algorithms},
  booktitle = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
               on the Occasion of His 61st Birthday},
  pages     = {258--272},
  year      = {2013},
  crossref  = {DBLP:conf/birthday/2013plasmeijer},
  url       = {https://doi.org/10.1007/978-3-642-40355-2\_18},
  doi       = {10.1007/978-3-642-40355-2\_18},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/Jeuring13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gala/JeuringRP13,
  author    = {Johan Jeuring and
               Rick van Rooij and
               Nicolas Pronost},
  title     = {The 5/10 Method: {A} Method for Designing Educational Games},
  booktitle = {Games and Learning Alliance - Second International Conference, {GALA}
               2013, Paris, France, October 23-25, 2013, Revised Selected Papers},
  pages     = {364--369},
  year      = {2013},
  crossref  = {DBLP:conf/gala/2013},
  url       = {https://doi.org/10.1007/978-3-319-12157-4\_30},
  doi       = {10.1007/978-3-319-12157-4\_30},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gala/JeuringRP13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gkr/GayoJR13,
  author    = {Jos{\'{e}} Emilio Labra Gayo and
               Johan Jeuring and
               Jose Mar{\'{\i}}a {\'{A}}lvarez Rodr{\'{\i}}guez},
  title     = {Inductive Triple Graphs: {A} Purely Functional Approach to Represent
               {RDF}},
  booktitle = {Graph Structures for Knowledge Representation and Reasoning - Third
               International Workshop, {GKR} 2013, Beijing, China, August 3, 2013.
               Revised Selected Papers},
  pages     = {92--110},
  year      = {2013},
  crossref  = {DBLP:conf/gkr/2013},
  url       = {https://doi.org/10.1007/978-3-319-04534-4\_7},
  doi       = {10.1007/978-3-319-04534-4\_7},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gkr/GayoJR13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/BezirgiannisJL13,
  author    = {Nikolaos Bezirgiannis and
               Johan Jeuring and
               Sean Leather},
  title     = {Usage of generic programming on hackage: experience report},
  booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
               {WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
  pages     = {47--52},
  year      = {2013},
  crossref  = {DBLP:conf/icfp/2013wgp},
  url       = {https://doi.org/10.1145/2502488.2502494},
  doi       = {10.1145/2502488.2502494},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/BezirgiannisJL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HastjarjantoJL13,
  author    = {Tom Hastjarjanto and
               Johan Jeuring and
               Sean Leather},
  title     = {A {DSL} for describing the artificial intelligence in real-time video
               games},
  booktitle = {Proceedings of the 3rd International Workshop on Games and Software
               Engineering: Engineering Computer Games to Enable Positive, Progressive
               Change, {GAS} 2013, San Francisco, CA, USA, May 18, 2013},
  pages     = {8--14},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013gas},
  url       = {https://doi.org/10.1109/GAS.2013.6632583},
  doi       = {10.1109/GAS.2013.6632583},
  timestamp = {Tue, 08 Aug 2017 18:54:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/HastjarjantoJL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Andres13,
  author    = {Eric Andres and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Towards automatic generation of domain-specific mathematical input
               support},
  booktitle = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
               and Work in Progress at CICM, Bath, {UK}},
  year      = {2013},
  crossref  = {DBLP:conf/mkm/2013ws},
  url       = {http://ceur-ws.org/Vol-1010/paper-10.pdf},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/Andres13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/GerdesHJ12,
  author    = {Alex Gerdes and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Teachers and Students in Charge - Using Annotated Model Solutions
               in a Functional Programming Tutor},
  booktitle = {21st Century Learning for 21st Century Skills - 7th European Conference
               of Technology Enhanced Learning, {EC-TEL} 2012, Saarbr{\"{u}}cken,
               Germany, September 18-21, 2012. Proceedings},
  pages     = {383--388},
  year      = {2012},
  crossref  = {DBLP:conf/ectel/2012},
  url       = {https://doi.org/10.1007/978-3-642-33263-0\_31},
  doi       = {10.1007/978-3-642-33263-0\_31},
  timestamp = {Wed, 24 May 2017 08:30:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ectel/GerdesHJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/JeuringGH12,
  author    = {Johan Jeuring and
               Alex Gerdes and
               Bastiaan Heeren},
  title     = {Ask-Elle: {A} Haskell Tutor - Demonstration},
  booktitle = {21st Century Learning for 21st Century Skills - 7th European Conference
               of Technology Enhanced Learning, {EC-TEL} 2012, Saarbr{\"{u}}cken,
               Germany, September 18-21, 2012. Proceedings},
  pages     = {453--458},
  year      = {2012},
  crossref  = {DBLP:conf/ectel/2012},
  url       = {https://doi.org/10.1007/978-3-642-33263-0\_42},
  doi       = {10.1007/978-3-642-33263-0\_42},
  timestamp = {Wed, 24 May 2017 08:30:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ectel/JeuringGH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/JeuringJA12,
  author    = {Johan Jeuring and
               Patrik Jansson and
               Cl{\'{a}}udio Amaral},
  title     = {Testing type class laws},
  booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2012, Copenhagen, Denmark, 13 September 2012},
  pages     = {49--60},
  year      = {2012},
  crossref  = {DBLP:conf/haskell/2012},
  url       = {https://doi.org/10.1145/2364506.2364514},
  doi       = {10.1145/2364506.2364514},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/JeuringJA12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/KeuchelJ12,
  author    = {Steven Keuchel and
               Johan Jeuring},
  title     = {Generic conversions of abstract syntax representations},
  booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
  pages     = {57--68},
  year      = {2012},
  crossref  = {DBLP:conf/icfp/2012wgp},
  url       = {https://doi.org/10.1145/2364394.2364403},
  doi       = {10.1145/2364394.2364403},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/KeuchelJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/GerdesJH12,
  author    = {Alex Gerdes and
               Johan Jeuring and
               Bastiaan Heeren},
  title     = {An interactive functional programming tutor},
  booktitle = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  pages     = {250--255},
  year      = {2012},
  crossref  = {DBLP:conf/iticse/2012},
  url       = {https://doi.org/10.1145/2325296.2325356},
  doi       = {10.1145/2325296.2325356},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/GerdesJH12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lak/RoijersJF12,
  author    = {Diederik M. Roijers and
               Johan Jeuring and
               Ad Feelders},
  title     = {Probability estimation and a competence model for rule based e-tutoring
               systems},
  booktitle = {Second International Conference on Learning Analytics and Knowledge,
               {LAK} 2012, Vancouver, BC, Canada, April 29 - May 02, 2012},
  pages     = {255--258},
  year      = {2012},
  crossref  = {DBLP:conf/lak/2012},
  url       = {https://doi.org/10.1145/2330601.2330663},
  doi       = {10.1145/2330601.2330663},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lak/RoijersJF12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2012,
  editor    = {Johan Jeuring and
               John A. Campbell and
               Jacques Carette and
               Gabriel Dos Reis and
               Petr Sojka and
               Makarius Wenzel and
               Volker Sorge},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {7362},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31374-5},
  doi       = {10.1007/978-3-642-31374-5},
  isbn      = {978-3-642-31373-8},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/JeuringGH11,
  author    = {Johan Jeuring and
               Alex Gerdes and
               Bastiaan Heeren},
  title     = {A Programming Tutor for Haskell},
  booktitle = {Central European Functional Programming School - 4th Summer School,
               {CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
               Papers},
  pages     = {1--45},
  year      = {2011},
  crossref  = {DBLP:conf/cefp/2011},
  url       = {https://doi.org/10.1007/978-3-642-32096-5\_1},
  doi       = {10.1007/978-3-642-32096-5\_1},
  timestamp = {Wed, 24 May 2017 08:31:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cefp/JeuringGH11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/MagalhaesJ11,
  author    = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Johan Jeuring},
  title     = {Generic programming for indexed datatypes},
  booktitle = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
  pages     = {37--46},
  year      = {2011},
  crossref  = {DBLP:conf/icfp/2011wgp},
  url       = {https://doi.org/10.1145/2036918.2036924},
  doi       = {10.1145/2036918.2036924},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/MagalhaesJ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeerenJ11,
  author    = {Bastiaan Heeren and
               Johan Jeuring},
  title     = {Interleaving Strategies},
  booktitle = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
               and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
               18-23, 2011. Proceedings},
  pages     = {196--211},
  year      = {2011},
  crossref  = {DBLP:conf/mkm/2011},
  url       = {https://doi.org/10.1007/978-3-642-22673-1\_14},
  doi       = {10.1007/978-3-642-22673-1\_14},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/HeerenJ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/NoortYHJHM10,
  author    = {Thomas van Noort and
               Alexey Rodriguez Yakushev and
               Stefan Holdermans and
               Johan Jeuring and
               Bastiaan Heeren and
               Jos{\'{e}} Pedro Magalh{\~{a}}es},
  title     = {A lightweight approach to datatype-generic rewriting},
  journal   = {J. Funct. Program.},
  volume    = {20},
  number    = {3-4},
  pages     = {375--413},
  year      = {2010},
  url       = {https://doi.org/10.1017/S0956796810000183},
  doi       = {10.1017/S0956796810000183},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/NoortYHJHM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/HeerenJG10,
  author    = {Bastiaan Heeren and
               Johan Jeuring and
               Alex Gerdes},
  title     = {Specifying Rewrite Strategies for Interactive Exercises},
  journal   = {Mathematics in Computer Science},
  volume    = {3},
  number    = {3},
  pages     = {349--370},
  year      = {2010},
  url       = {https://doi.org/10.1007/s11786-010-0027-4},
  doi       = {10.1007/s11786-010-0027-4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mics/HeerenJG10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HeerenJ10,
  author    = {Bastiaan Heeren and
               Johan Jeuring},
  title     = {Adapting Mathematical Domain Reasoners},
  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},
  pages     = {315--330},
  year      = {2010},
  crossref  = {DBLP:conf/aisc/2010},
  url       = {https://doi.org/10.1007/978-3-642-14128-7\_27},
  doi       = {10.1007/978-3-642-14128-7\_27},
  timestamp = {Fri, 19 May 2017 01:25:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/HeerenJ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/MagalhaesDJL10,
  author    = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Atze Dijkstra and
               Johan Jeuring and
               Andres L{\"{o}}h},
  title     = {A generic deriving mechanism for Haskell},
  booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2010, Baltimore, MD, USA, 30 September 2010},
  pages     = {37--48},
  year      = {2010},
  crossref  = {DBLP:conf/haskell/2010},
  url       = {https://doi.org/10.1145/1863523.1863529},
  doi       = {10.1145/1863523.1863529},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/MagalhaesDJL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SteenbergenMJ10,
  author    = {Martijn Van Steenbergen and
               Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Johan Jeuring},
  title     = {Generic selections of subexpressions},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
               {WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
  pages     = {37--48},
  year      = {2010},
  crossref  = {DBLP:conf/icfp/2010wgp},
  url       = {https://doi.org/10.1145/1863495.1863501},
  doi       = {10.1145/1863495.1863501},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/SteenbergenMJ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MagalhaesHJL10,
  author    = {Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Stefan Holdermans and
               Johan Jeuring and
               Andres L{\"{o}}h},
  title     = {Optimizing generics is easy!},
  booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
               2010},
  pages     = {33--42},
  year      = {2010},
  crossref  = {DBLP:conf/pepm/2010},
  url       = {https://doi.org/10.1145/1706356.1706366},
  doi       = {10.1145/1706356.1706366},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/MagalhaesHJL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/GerdesJH10,
  author    = {Alex Gerdes and
               Johan Jeuring and
               Bastiaan Heeren},
  title     = {Using strategies for assessment of programming exercises},
  booktitle = {Proceedings of the 41st {ACM} technical symposium on Computer science
               education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
               2010},
  pages     = {441--445},
  year      = {2010},
  crossref  = {DBLP:conf/sigcse/2010},
  url       = {https://doi.org/10.1145/1734263.1734412},
  doi       = {10.1145/1734263.1734412},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/GerdesJH10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-5561,
  author    = {Alex Gerdes and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Properties of Exercise Strategies},
  booktitle = {Proceedings International Workshop on Strategies in Rewriting, Proving,
               and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010.},
  pages     = {21--34},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1012-5337},
  url       = {https://doi.org/10.4204/EPTCS.44.2},
  doi       = {10.4204/EPTCS.44.2},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1012-5561},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-4762,
  author    = {Bastiaan Heeren and
               Johan Jeuring},
  title     = {Adapting Mathematical Domain Reasoners},
  journal   = {CoRR},
  volume    = {abs/1005.4762},
  year      = {2010},
  url       = {http://arxiv.org/abs/1005.4762},
  archivePrefix = {arXiv},
  eprint    = {1005.4762},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1005-4762},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/HeerenJ09,
  author    = {Bastiaan Heeren and
               Johan Jeuring},
  title     = {Recognizing Strategies},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {237},
  pages     = {91--106},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.03.037},
  doi       = {10.1016/j.entcs.2009.03.037},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/HeerenJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaip/YakushevJ09,
  author    = {Alexey Rodriguez Yakushev and
               Johan Jeuring},
  title     = {Enumerating Well-Typed Terms Generically},
  booktitle = {Approaches and Applications of Inductive Programming, Third International
               Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  pages     = {93--116},
  year      = {2009},
  crossref  = {DBLP:conf/aaip/2009},
  url       = {https://doi.org/10.1007/978-3-642-11931-6\_5},
  doi       = {10.1007/978-3-642-11931-6\_5},
  timestamp = {Mon, 22 May 2017 17:11:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaip/YakushevJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/GerdesHJ09,
  author    = {Alex Gerdes and
               Bastiaan Heeren and
               Johan Jeuring},
  title     = {Constructing Strategies for Programming},
  booktitle = {{CSEDU} 2009 - Proceedings of the First International Conference on
               Computer Supported Education, Lisboa, Portugal, March 23-26, 2009
               - Volume 1},
  pages     = {65--72},
  year      = {2009},
  crossref  = {DBLP:conf/csedu/2009-1},
  timestamp = {Mon, 14 Sep 2009 15:59:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csedu/GerdesHJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/YakushevHLJ09,
  author    = {Alexey Rodriguez Yakushev and
               Stefan Holdermans and
               Andres L{\"{o}}h and
               Johan Jeuring},
  title     = {Generic programming with fixed points for mutually recursive datatypes},
  booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  pages     = {233--244},
  year      = {2009},
  crossref  = {DBLP:conf/icfp/2009},
  url       = {https://doi.org/10.1145/1596550.1596585},
  doi       = {10.1145/1596550.1596585},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/YakushevHLJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/LeatherLJ09,
  author    = {Sean Leather and
               Andres L{\"{o}}h and
               Johan Jeuring},
  title     = {Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional
               Incrementalization},
  booktitle = {Implementation and Application of Functional Languages - 21st International
               Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009,
               Revised Selected Papers},
  pages     = {159--178},
  year      = {2009},
  crossref  = {DBLP:conf/ifl/2009},
  url       = {https://doi.org/10.1007/978-3-642-16478-1\_10},
  doi       = {10.1007/978-3-642-16478-1\_10},
  timestamp = {Fri, 02 Nov 2018 09:41:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/LeatherLJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeerenJ09,
  author    = {Bastiaan Heeren and
               Johan Jeuring},
  title     = {Canonical Forms in Interactive Exercise Assistants},
  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},
  pages     = {325--340},
  year      = {2009},
  crossref  = {DBLP:conf/mkm/2009},
  url       = {https://doi.org/10.1007/978-3-642-02614-0\_27},
  doi       = {10.1007/978-3-642-02614-0\_27},
  timestamp = {Sat, 16 Sep 2017 12:11:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/HeerenJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfp/JeuringMH09,
  author    = {Johan Jeuring and
               Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Bastiaan Heeren},
  title     = {Generic Programming for Domain Reasoners},
  booktitle = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
               {TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009.},
  pages     = {113--128},
  year      = {2009},
  crossref  = {DBLP:conf/sfp/2009},
  timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/JeuringMH09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/JeuringLMY08,
  author    = {Johan Jeuring and
               Sean Leather and
               Jos{\'{e}} Pedro Magalh{\~{a}}es and
               Alexey Rodriguez Yakushev},
  title     = {Libraries for Generic Programming in Haskell},
  booktitle = {Advanced Functional Programming, 6th International School, {AFP} 2008,
               Heijen, The Netherlands, May 2008, Revised Lectures},
  pages     = {165--229},
  year      = {2008},
  crossref  = {DBLP:conf/afp/2008},
  url       = {https://doi.org/10.1007/978-3-642-04652-0\_4},
  doi       = {10.1007/978-3-642-04652-0\_4},
  timestamp = {Tue, 23 May 2017 01:06:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/afp/JeuringLMY08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HeerenJLG08,
  author    = {Bastiaan Heeren and
               Johan Jeuring and
               Arthur van Leeuwen and
               Alex Gerdes},
  title     = {Specifying Strategies for Exercises},
  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},
  pages     = {430--445},
  year      = {2008},
  crossref  = {DBLP:conf/aisc/2008},
  url       = {https://doi.org/10.1007/978-3-540-85110-3\_36},
  doi       = {10.1007/978-3-540-85110-3\_36},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/HeerenJLG08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/RodriguezJJGKO08,
  author    = {Alexey Rodriguez and
               Johan Jeuring and
               Patrik Jansson and
               Alex Gerdes and
               Oleg Kiselyov and
               Bruno C. d. S. Oliveira},
  title     = {Comparing libraries for generic programming in haskell},
  booktitle = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2008, Victoria, BC, Canada, 25 September 2008},
  pages     = {111--122},
  year      = {2008},
  crossref  = {DBLP:conf/haskell/2008},
  url       = {https://doi.org/10.1145/1411286.1411301},
  doi       = {10.1145/1411286.1411301},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/RodriguezJJGKO08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/NoortRHJH08,
  author    = {Thomas van Noort and
               Alexey Rodriguez and
               Stefan Holdermans and
               Johan Jeuring and
               Bastiaan Heeren},
  title     = {A lightweight approach to datatype-generic rewriting},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Genetic Programming,
               {WGP} 2008, Victoria, BC, Canada, September 20, 2008},
  pages     = {13--24},
  year      = {2008},
  crossref  = {DBLP:conf/icfp/2008wgp},
  url       = {https://doi.org/10.1145/1411318.1411321},
  doi       = {10.1145/1411318.1411321},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/NoortRHJH08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/DolstraHHHJLLMRS08,
  author    = {Eelco Dolstra and
               Jurriaan Hage and
               Bastiaan Heeren and
               Stefan Holdermans and
               Johan Jeuring and
               Andres L{\"{o}}h and
               Clara L{\"{o}}h and
               Arie Middelkoop and
               Alexey Rodriguez and
               John van Schie},
  title     = {Report on the tenth {ICFP} programming contest},
  booktitle = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
               20-28, 2008},
  pages     = {397--408},
  year      = {2008},
  crossref  = {DBLP:conf/icfp/2008},
  url       = {https://doi.org/10.1145/1411204.1411259},
  doi       = {10.1145/1411204.1411259},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/DolstraHHHJLLMRS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AtanassowJ07,
  author    = {Frank Atanassow and
               Johan Jeuring},
  title     = {Customizing an XML-Haskell data binding with type isomorphism inference
               in Generic Haskell},
  journal   = {Sci. Comput. Program.},
  volume    = {65},
  number    = {2},
  pages     = {72--107},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.scico.2006.01.005},
  doi       = {10.1016/j.scico.2006.01.005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/AtanassowJ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ssdgp/2006,
  editor    = {Roland Carl Backhouse and
               Jeremy Gibbons and
               Ralf Hinze and
               Johan Jeuring},
  title     = {Datatype-Generic Programming - International Spring School, {SSDGP}
               2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {4719},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-76786-2},
  doi       = {10.1007/978-3-540-76786-2},
  isbn      = {978-3-540-76785-5},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ssdgp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HinzeJL06,
  author    = {Ralf Hinze and
               Johan Jeuring and
               Andres L{\"{o}}h},
  title     = {Typed Contracts for Functional Programming},
  booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
               2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  pages     = {208--225},
  year      = {2006},
  crossref  = {DBLP:conf/flops/2006},
  url       = {https://doi.org/10.1007/11737414\_15},
  doi       = {10.1007/11737414\_15},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/HinzeJL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/JeuringRS06,
  author    = {Johan Jeuring and
               Alexey Rodriguez and
               Gideon Smeding},
  title     = {Generating generic functions},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
               {WGP} 2006, Portland, Oregon, USA, September 16, 2006},
  pages     = {23--32},
  year      = {2006},
  crossref  = {DBLP:conf/icfp/2006wgp},
  url       = {https://doi.org/10.1145/1159861.1159865},
  doi       = {10.1145/1159861.1159865},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/JeuringRS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/JanssonJCEKMOV06,
  author    = {Patrik Jansson and
               Johan Jeuring and
               Laurence Cabenda and
               Gerbo Engels and
               Jacob Kleerekoper and
               Sander Mak and
               Michiel Overeem and
               Kees Visser},
  title     = {Testing Properties of Generic Functions},
  booktitle = {Implementation and Application of Functional Languages, 18th International
               Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
               Selected Papers},
  pages     = {217--234},
  year      = {2006},
  crossref  = {DBLP:conf/ifl/2006},
  url       = {https://doi.org/10.1007/978-3-540-74130-5\_13},
  doi       = {10.1007/978-3-540-74130-5\_13},
  timestamp = {Sun, 04 Jun 2017 10:07:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/JanssonJCEKMOV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HoldermansJLR06,
  author    = {Stefan Holdermans and
               Johan Jeuring and
               Andres L{\"{o}}h and
               Alexey Rodriguez},
  title     = {Generic Views on Data Types},
  booktitle = {Mathematics of Program Construction, 8th International Conference,
               {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  pages     = {209--234},
  year      = {2006},
  crossref  = {DBLP:conf/mpc/2006},
  url       = {https://doi.org/10.1007/11783596\_14},
  doi       = {10.1007/11783596\_14},
  timestamp = {Sun, 04 Jun 2017 10:07:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/HoldermansJLR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssdgp/HinzeJL06,
  author    = {Ralf Hinze and
               Johan Jeuring and
               Andres L{\"{o}}h},
  title     = {Comparing Approaches to Generic Programming in Haskell},
  booktitle = {Datatype-Generic Programming - International Spring School, {SSDGP}
               2006, Nottingham, UK, April 24-27, 2006, Revised Lectures},
  pages     = {72--149},
  year      = {2006},
  crossref  = {DBLP:conf/ssdgp/2006},
  url       = {https://doi.org/10.1007/978-3-540-76786-2\_2},
  doi       = {10.1007/978-3-540-76786-2\_2},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ssdgp/HinzeJL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/PassierJ05,
  author    = {Harrie Passier and
               Johan Jeuring},
  title     = {Using Schema Analysis for Feedback in Authoring Tools for Learning
               Environments},
  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 Netherlands},
  pages     = {911--913},
  year      = {2005},
  crossref  = {DBLP:conf/aied/2005},
  timestamp = {Fri, 13 Feb 2009 12:45:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aied/PassierJ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HinzeJL04,
  author    = {Ralf Hinze and
               Johan Jeuring and
               Andres L{\"{o}}h},
  title     = {Type-indexed data types},
  journal   = {Sci. Comput. Program.},
  volume    = {51},
  number    = {1-2},
  pages     = {117--151},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.scico.2003.07.001},
  doi       = {10.1016/j.scico.2003.07.001},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/HinzeJL04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/AtanassowJ04,
  author    = {Frank Atanassow and
               Johan Jeuring},
  title     = {Inferring Type Isomorphisms Generically},
  booktitle = {Mathematics of Program Construction, 7th International Conference,
               {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  pages     = {32--53},
  year      = {2004},
  crossref  = {DBLP:conf/mpc/2004},
  url       = {https://doi.org/10.1007/978-3-540-27764-4\_4},
  doi       = {10.1007/978-3-540-27764-4\_4},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/AtanassowJ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AtanassowCJ04,
  author    = {Frank Atanassow and
               Dave Clarke and
               Johan Jeuring},
  title     = {{UUXML:} {A} Type-Preserving {XML} Schema-Haskell Data Binding},
  booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
               {PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  pages     = {71--85},
  year      = {2004},
  crossref  = {DBLP:conf/padl/2004},
  url       = {https://doi.org/10.1007/978-3-540-24836-1\_6},
  doi       = {10.1007/978-3-540-24836-1\_6},
  timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/padl/AtanassowCJ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/LohCJ03,
  author    = {Andres L{\"{o}}h and
               Dave Clarke and
               Johan Jeuring},
  title     = {Dependency-style generic haskell},
  journal   = {{SIGPLAN} Notices},
  volume    = {38},
  number    = {9},
  pages     = {141--152},
  year      = {2003},
  url       = {https://doi.org/10.1145/944746.944719},
  doi       = {10.1145/944746.944719},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/LohCJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HinzeJ03,
  author    = {Ralf Hinze and
               Johan Jeuring},
  title     = {Generic Haskell: Practice and Theory},
  booktitle = {Generic Programming - Advanced Lectures},
  pages     = {1--56},
  year      = {2003},
  crossref  = {DBLP:conf/ac/2003gp},
  url       = {https://doi.org/10.1007/978-3-540-45191-4\_1},
  doi       = {10.1007/978-3-540-45191-4\_1},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ac/HinzeJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ac/HinzeJ03a,
  author    = {Ralf Hinze and
               Johan Jeuring},
  title     = {Generic Haskell: Applications},
  booktitle = {Generic Programming - Advanced Lectures},
  pages     = {57--96},
  year      = {2003},
  crossref  = {DBLP:conf/ac/2003gp},
  url       = {https://doi.org/10.1007/978-3-540-45191-4\_2},
  doi       = {10.1007/978-3-540-45191-4\_2},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ac/HinzeJ03a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LohCJ03,
  author    = {Andres L{\"{o}}h and
               Dave Clarke and
               Johan Jeuring},
  title     = {Dependency-style generic Haskell},
  booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
               2003},
  pages     = {141--152},
  year      = {2003},
  crossref  = {DBLP:conf/icfp/2003},
  url       = {https://doi.org/10.1145/944705.944719},
  doi       = {10.1145/944705.944719},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/LohCJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/2002,
  editor    = {Johan Jeuring and
               Simon L. {Peyton Jones}},
  title     = {Advanced Functional Programming, 4th International School, {AFP} 2002,
               Oxford, UK, August 19-24, 2002, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {2638},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b11942},
  doi       = {10.1007/b11942},
  isbn      = {3-540-40132-6},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/afp/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2-1/2002,
  editor    = {Jeremy Gibbons and
               Johan Jeuring},
  title     = {Generic Programming, {IFIP} {TC2/WG2.1} Working Conference on Generic
               Programming, July 11-12, 2002, Dagstuhl, Germany},
  series    = {{IFIP} Conference Proceedings},
  volume    = {243},
  publisher = {Kluwer},
  year      = {2003},
  isbn      = {1-4020-7374-7},
  timestamp = {Wed, 26 Feb 2003 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2-1/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JanssonJ02,
  author    = {Patrik Jansson and
               Johan Jeuring},
  title     = {Polytypic data conversion programs},
  journal   = {Sci. Comput. Program.},
  volume    = {43},
  number    = {1},
  pages     = {35--75},
  year      = {2002},
  url       = {https://doi.org/10.1016/S0167-6423(01)00020-X},
  doi       = {10.1016/S0167-6423(01)00020-X},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/JanssonJ02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/HinzeJL02,
  author    = {Ralf Hinze and
               Johan Jeuring and
               Andres L{\"{o}}h},
  title     = {Type-Indexed Data Types},
  booktitle = {Mathematics of Program Construction, 6th International Conference,
               {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  pages     = {148--174},
  year      = {2002},
  crossref  = {DBLP:conf/mpc/2002},
  url       = {https://doi.org/10.1007/3-540-45442-X\_10},
  doi       = {10.1007/3-540-45442-X\_10},
  timestamp = {Thu, 15 Jun 2017 21:38:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/HinzeJL02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/HinzeJ01,
  author    = {Ralf Hinze and
               Johan Jeuring},
  title     = {Weaving a web},
  journal   = {J. Funct. Program.},
  volume    = {11},
  number    = {6},
  pages     = {681--689},
  year      = {2001},
  url       = {https://doi.org/10.1017/S0956796801004129},
  doi       = {10.1017/S0956796801004129},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/HinzeJ01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JanssonJ99,
  author    = {Patrik Jansson and
               Johan Jeuring},
  title     = {Polytypic Compact Printing and Parsing},
  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},
  pages     = {273--287},
  year      = {1999},
  crossref  = {DBLP:conf/esop/1999},
  url       = {https://doi.org/10.1007/3-540-49099-X\_18},
  doi       = {10.1007/3-540-49099-X\_18},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/JanssonJ99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JanssonJ98,
  author    = {Patrik Jansson and
               Johan Jeuring},
  title     = {Polytypic Unification},
  journal   = {J. Funct. Program.},
  volume    = {8},
  number    = {5},
  pages     = {527--536},
  year      = {1998},
  url       = {http://journals.cambridge.org/action/displayAbstract?aid=44195},
  timestamp = {Fri, 10 Jun 2011 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/JanssonJ98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/BackhouseJJM98,
  author    = {Roland Carl Backhouse and
               Patrik Jansson and
               Johan Jeuring and
               Lambert G. L. T. Meertens},
  title     = {Generic Programming: An Introduction},
  booktitle = {Advanced Functional Programming, Third International School, Braga,
               Portugal, September 12-19, 1998, Revised Lectures},
  pages     = {28--115},
  year      = {1998},
  crossref  = {DBLP:conf/afp/98},
  url       = {https://doi.org/10.1007/10704973\_2},
  doi       = {10.1007/10704973\_2},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/afp/BackhouseJJM98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/1998,
  editor    = {Johan Jeuring},
  title     = {Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June
               15-17, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1422},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0054279},
  doi       = {10.1007/BFb0054279},
  isbn      = {3-540-64591-8},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JanssonJ97,
  author    = {Patrik Jansson and
               Johan Jeuring},
  title     = {Polyp - {A} Polytypic Programming Language},
  booktitle = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               Paris, France, 15-17 January 1997},
  pages     = {470--482},
  year      = {1997},
  crossref  = {DBLP:conf/popl/1997},
  url       = {https://doi.org/10.1145/263699.263763},
  doi       = {10.1145/263699.263763},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/JanssonJ97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/JeuringJ96,
  author    = {Johan Jeuring and
               Patrik Jansson},
  title     = {Polytypic Programming},
  booktitle = {Advanced Functional Programming, Second International School, Olympia,
               WA, USA, August 26-30, 1996, Tutorial Text},
  pages     = {68--114},
  year      = {1996},
  crossref  = {DBLP:conf/afp/1996},
  url       = {https://doi.org/10.1007/3-540-61628-4\_3},
  doi       = {10.1007/3-540-61628-4\_3},
  timestamp = {Wed, 14 Feb 2018 13:56:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/afp/JeuringJ96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/afp/MeijerJ95,
  author    = {Erik Meijer and
               Johan Jeuring},
  title     = {Merging Monads and Folds for Functional Programming},
  booktitle = {Advanced Functional Programming, First International Spring School
               on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
               May 24-30, 1995, Tutorial Text},
  pages     = {228--266},
  year      = {1995},
  crossref  = {DBLP:conf/afp/1995},
  url       = {https://doi.org/10.1007/3-540-59451-5\_7},
  doi       = {10.1007/3-540-59451-5\_7},
  timestamp = {Wed, 14 Feb 2018 13:56:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/afp/MeijerJ95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/Jeuring95,
  author    = {Johan Jeuring},
  title     = {Polytypic Pattern Matching},
  booktitle = {Proceedings of the seventh international conference on Functional
               programming languages and computer architecture, {FPCA} 1995, La Jolla,
               California, USA, June 25-28, 1995},
  pages     = {238--248},
  year      = {1995},
  crossref  = {DBLP:conf/fpca/1995},
  url       = {https://doi.org/10.1145/224164.224212},
  doi       = {10.1145/224164.224212},
  timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpca/Jeuring95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fpca/JeuringS95,
  author    = {Johan Jeuring and
               S. Doaitse Swierstra},
  title     = {Constructing Functional Programs for Grammar Analysis Problems},
  booktitle = {Proceedings of the seventh international conference on Functional
               programming languages and computer architecture, {FPCA} 1995, La Jolla,
               California, USA, June 25-28, 1995},
  pages     = {259--269},
  year      = {1995},
  crossref  = {DBLP:conf/fpca/1995},
  url       = {https://doi.org/10.1145/224164.224214},
  doi       = {10.1145/224164.224214},
  timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpca/JeuringS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/1995,
  editor    = {Johan Jeuring and
               Erik Meijer},
  title     = {Advanced Functional Programming, First International Spring School
               on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
               May 24-30, 1995, Tutorial Text},
  series    = {Lecture Notes in Computer Science},
  volume    = {925},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-59451-5},
  doi       = {10.1007/3-540-59451-5},
  isbn      = {3-540-59451-5},
  timestamp = {Wed, 14 Feb 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/afp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/Jeuring94,
  author    = {Johan Jeuring},
  title     = {The Derivation of On-Line Algorithms, with an Application To Finding
               Palindromes},
  journal   = {Algorithmica},
  volume    = {11},
  number    = {2},
  pages     = {146--184},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF01182773},
  doi       = {10.1007/BF01182773},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/algorithmica/Jeuring94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JeuringS94,
  author    = {Johan Jeuring and
               S. Doaitse Swierstra},
  title     = {Bottom-up Grammar Analysis - {A} Functional Formulation},
  booktitle = {Programming Languages and Systems - ESOP'94, 5th European Symposium
               on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
  pages     = {317--332},
  year      = {1994},
  crossref  = {DBLP:conf/esop/1994},
  url       = {https://doi.org/10.1007/3-540-57880-3\_21},
  doi       = {10.1007/3-540-57880-3\_21},
  timestamp = {Wed, 20 Jun 2018 17:30:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/JeuringS94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/Jeuring90,
  author    = {Johan Jeuring},
  title     = {Algorithms for Theorems},
  booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
               Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
               Sea of Galilee, Israel, 2-5 April, 1990},
  pages     = {247--266},
  year      = {1990},
  crossref  = {DBLP:conf/ifip2/1990},
  timestamp = {Mon, 21 Jan 2019 18:48:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2/Jeuring90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ectel/2018,
  editor    = {Viktoria Pammer{-}Schindler and
               Mar P{\'{e}}rez{-}Sanagust{\'{\i}}n and
               Hendrik Drachsler and
               Raymond Elferink and
               Maren Scheffel},
  title     = {Lifelong Technology-Enhanced Learning - 13th European Conference on
               Technology Enhanced Learning, {EC-TEL} 2018, Leeds, UK, September
               3-5, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11082},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-98572-5},
  doi       = {10.1007/978-3-319-98572-5},
  isbn      = {978-3-319-98571-8},
  timestamp = {Fri, 24 Aug 2018 11:57:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ectel/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/euspn/2018,
  editor    = {Elhadi M. Shakshuki and
               Ansar{-}Ul{-}Haque Yasar},
  title     = {The 9th International Conference on Emerging Ubiquitous Systems and
               Pervasive Networks {(EUSPN} 2018) / The 8th International Conference
               on Current and Future Trends of Information and Communication Technologies
               in Healthcare {(ICTH-2018)} / Affiliated Workshops, November 5-8,
               2018, Leuven, Belgium},
  series    = {Procedia Computer Science},
  volume    = {141},
  publisher = {Elsevier},
  year      = {2018},
  url       = {https://www.sciencedirect.com/journal/procedia-computer-science/vol/141/suppl/C},
  timestamp = {Fri, 11 Jan 2019 17:50:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/euspn/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lats/2018,
  editor    = {Rose Luckin and
               Scott Klemmer and
               Kenneth R. Koedinger},
  title     = {Proceedings of the Fifth Annual {ACM} Conference on Learning at Scale,
               London, UK, June 26-28, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3231644},
  doi       = {10.1145/3231644},
  timestamp = {Wed, 21 Nov 2018 12:44:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lats/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aied/2017,
  editor    = {Elisabeth Andr{\'{e}} and
               Ryan S. Baker and
               Xiangen Hu and
               Ma. Mercedes T. Rodrigo and
               Benedict du Boulay},
  title     = {Artificial Intelligence in Education - 18th International Conference,
               {AIED} 2017, Wuhan, China, June 28 - July 1, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10331},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-61425-0},
  doi       = {10.1007/978-3-319-61425-0},
  isbn      = {978-3-319-61424-3},
  timestamp = {Tue, 27 Jun 2017 09:08:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aied/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2017wgr,
  editor    = {Judithe Sheard and
               Ari Korhonen},
  title     = {Proceedings of the 2017 ITiCSE Working Group Reports, ITiCSE-WGR 2017,
               Bologna, Italy, July 3-5, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3174781},
  doi       = {10.1145/3174781},
  timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2017wgr},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2017,
  editor    = {Renzo Davoli and
               Michael Goldweber and
               Guido R{\"{o}}{\ss}ling and
               Irene Polycarpou},
  title     = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
               in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3059009},
  doi       = {10.1145/3059009},
  isbn      = {978-1-4503-4704-4},
  timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kolicalling/2017,
  editor    = {Calkin Suero Montero and
               Mike Joy},
  title     = {Proceedings of the 17th Koli Calling Conference on Computing Education
               Research, Koli, Finland, November 16-19, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3141880},
  isbn      = {978-1-4503-5301-4},
  timestamp = {Fri, 03 Nov 2017 14:11:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kolicalling/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2017,
  editor    = {Michael E. Caspersen and
               Stephen H. Edwards and
               Tiffany Barnes and
               Daniel D. Garcia},
  title     = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
               Science Education, Seattle, WA, USA, March 8-11, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3017680},
  isbn      = {978-1-4503-4698-6},
  timestamp = {Tue, 07 Mar 2017 08:54:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2016,
  editor    = {Alison Clear and
               Ernesto Cuadros{-}Vargas and
               Janet Carter and
               Yv{\'{a}}n T{\'{u}}pac},
  title     = {Proceedings of the 2016 {ACM} Conference on Innovation and Technology
               in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2899415},
  doi       = {10.1145/2899415},
  isbn      = {978-1-4503-4231-5},
  timestamp = {Tue, 06 Nov 2018 11:07:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ectel/2015,
  editor    = {Gr{\'{a}}inne Conole and
               Tomaz Klobucar and
               Christoph Rensing and
               Johannes Konert and
               {\'{E}}lise Lavou{\'{e}}},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {9307},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24258-3},
  doi       = {10.1007/978-3-319-24258-3},
  isbn      = {978-3-319-24257-6},
  timestamp = {Wed, 24 May 2017 08:30:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ectel/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gala/2015,
  editor    = {Alessandro De Gloria and
               Remco C. Veltkamp},
  title     = {Games and Learning Alliance - 4th International Conference, {GALA}
               2015, Rome, Italy, December 9-11, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9599},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-40216-1},
  doi       = {10.1007/978-3-319-40216-1},
  isbn      = {978-3-319-40215-4},
  timestamp = {Fri, 26 May 2017 00:48:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gala/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2015,
  editor    = {Manuel Serrano and
               Jurriaan Hage},
  title     = {Trends in Functional Programming - 16th International Symposium, {TFP}
               2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9547},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39110-6},
  doi       = {10.1007/978-3-319-39110-6},
  isbn      = {978-3-319-39109-0},
  timestamp = {Fri, 26 May 2017 00:49:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cserc/2014,
  editor    = {Erik Barendsen and
               Valentina Dagiene},
  title     = {Proceedings of the Computer Science Education Research Conference,
               {CSERC} 2014, Berlin, Germany, November 5-6, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2691352},
  doi       = {10.1145/2691352},
  isbn      = {978-1-4503-3347-4},
  timestamp = {Tue, 06 Nov 2018 11:07:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cserc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2014,
  editor    = {Wei{-}Ngan Chin and
               Jurriaan Hage},
  title     = {Proceedings of the {ACM} {SIGPLAN} 2014 workshop on Partial evaluation
               and program manipulation, {PEPM} 2014, January 20-21, 2014, San Diego,
               California, {USA}},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2543728},
  isbn      = {978-1-4503-2619-3},
  timestamp = {Thu, 09 Jan 2014 10:44:12 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CaldwellHA14,
  editor    = {James Caldwell and
               Philip K. F. H{\"{o}}lzenspies and
               Peter Achten},
  title     = {Proceedings 3rd International Workshop on Trends in Functional Programming
               in Education, {TFPIE} 2014, Soesterberg, The Netherlands, 25th May
               2014},
  series    = {{EPTCS}},
  volume    = {170},
  year      = {2014},
  url       = {https://doi.org/10.4204/EPTCS.170},
  doi       = {10.4204/EPTCS.170},
  timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CaldwellHA14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013plasmeijer,
  editor    = {Peter Achten and
               Pieter W. M. Koopman},
  title     = {The Beauty of Functional Code - Essays Dedicated to Rinus Plasmeijer
               on the Occasion of His 61st Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {8106},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40355-2},
  doi       = {10.1007/978-3-642-40355-2},
  isbn      = {978-3-642-40354-5},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2013plasmeijer},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gala/2013,
  editor    = {Alessandro De Gloria},
  title     = {Games and Learning Alliance - Second International Conference, {GALA}
               2013, Paris, France, October 23-25, 2013, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8605},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12157-4},
  doi       = {10.1007/978-3-319-12157-4},
  isbn      = {978-3-319-12156-7},
  timestamp = {Fri, 26 May 2017 00:48:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gala/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gkr/2013,
  editor    = {Madalina Croitoru and
               Sebastian Rudolph and
               Stefan Woltran and
               Christophe Gonzales},
  title     = {Graph Structures for Knowledge Representation and Reasoning - Third
               International Workshop, {GKR} 2013, Beijing, China, August 3, 2013.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8323},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-04534-4},
  doi       = {10.1007/978-3-319-04534-4},
  isbn      = {978-3-319-04533-7},
  timestamp = {Tue, 23 May 2017 01:11:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gkr/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2013wgp,
  editor    = {Jacques Carette and
               Jeremiah Willcock},
  title     = {Proceedings of the 9th {ACM} {SIGPLAN} workshop on Generic programming,
               {WGP} 2013, Boston, Massachusetts, USA, September 28, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2502488},
  doi       = {10.1145/2502488},
  isbn      = {978-1-4503-2389-5},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2013wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013gas,
  editor    = {Kendra M. L. Cooper and
               Walt Scacchi and
               Alf Inge Wang},
  title     = {Proceedings of the 3rd International Workshop on Games and Software
               Engineering: Engineering Computer Games to Enable Positive, Progressive
               Change, {GAS} 2013, San Francisco, CA, USA, May 18, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6619588},
  isbn      = {978-1-4673-6263-4},
  timestamp = {Tue, 08 Aug 2017 18:54:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013gas},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2013ws,
  editor    = {Christoph Lange and
               David Aspinall and
               Jacques Carette and
               James H. Davenport and
               Andrea Kohlhase and
               Michael Kohlhase and
               Paul Libbrecht and
               Pedro Quaresma and
               Florian Rabe and
               Petr Sojka and
               Iain Whiteside and
               Wolfgang Windsteiger},
  title     = {Joint Proceedings of the MathUI, OpenMath, {PLMMS} and ThEdu Workshops
               and Work in Progress at CICM, Bath, {UK}},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1010},
  publisher = {CEUR-WS.org},
  year      = {2013},
  url       = {http://ceur-ws.org/Vol-1010},
  urn       = {urn:nbn:de:0074-1010-3},
  timestamp = {Mon, 30 May 2016 16:28:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2013ws},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ectel/2012,
  editor    = {Andrew Ravenscroft and
               Stefanie N. Lindstaedt and
               Carlos Delgado Kloos and
               Davinia {Hern{\'{a}}ndez Leo}},
  title     = {21st Century Learning for 21st Century Skills - 7th European Conference
               of Technology Enhanced Learning, {EC-TEL} 2012, Saarbr{\"{u}}cken,
               Germany, September 18-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7563},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33263-0},
  doi       = {10.1007/978-3-642-33263-0},
  isbn      = {978-3-642-33262-3},
  timestamp = {Wed, 24 May 2017 08:30:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ectel/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2012,
  editor    = {Janis Voigtl{\"{a}}nder},
  title     = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2012, Copenhagen, Denmark, 13 September 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2364506},
  isbn      = {978-1-4503-1574-6},
  timestamp = {Tue, 16 Oct 2012 14:53:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2012wgp,
  editor    = {Andres L{\"{o}}h and
               Ronald Garcia},
  title     = {Proceedings of the 8th {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {https://doi.org/10.1145/2364394},
  doi       = {10.1145/2364394},
  isbn      = {978-1-4503-1576-0},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2012wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iticse/2012,
  editor    = {Tami Lapidot and
               Judith Gal{-}Ezer and
               Michael E. Caspersen and
               Orit Hazzan},
  title     = {Annual Conference on Innovation and Technology in Computer Science
               Education, ITiCSE '12, Haifa, Israel, July 3-5, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2325296},
  isbn      = {978-1-4503-1246-2},
  timestamp = {Mon, 09 Jul 2012 08:25:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iticse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lak/2012,
  editor    = {Shane Dawson and
               Caroline Haythornthwaite and
               Simon Buckingham Shum and
               Dragan Gasevic and
               Rebecca Ferguson},
  title     = {Second International Conference on Learning Analytics and Knowledge,
               {LAK} 2012, Vancouver, BC, Canada, April 29 - May 02, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2330601},
  isbn      = {978-1-4503-1111-3},
  timestamp = {Mon, 16 Jul 2012 20:15:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lak/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cefp/2011,
  editor    = {Vikt{\'{o}}ria Zs{\'{o}}k and
               Zolt{\'{a}}n Horv{\'{a}}th and
               Rinus Plasmeijer},
  title     = {Central European Functional Programming School - 4th Summer School,
               {CEFP} 2011, Budapest, Hungary, June 14-24, 2011, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7241},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32096-5},
  doi       = {10.1007/978-3-642-32096-5},
  isbn      = {978-3-642-32095-8},
  timestamp = {Wed, 24 May 2017 08:31:36 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cefp/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2011wgp,
  editor    = {Jaakko J{\"{a}}rvi and
               Shin{-}Cheng Mu},
  title     = {Proceedings of the seventh {ACM} {SIGPLAN} workshop on Generic programming,
               WGP@ICFP 2011, Tokyo, Japan, September 19-21, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2036918},
  doi       = {10.1145/2036918},
  isbn      = {978-1-4503-0861-8},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2011wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2011,
  editor    = {James H. Davenport and
               William M. Farmer and
               Josef Urban and
               Florian Rabe},
  title     = {Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011,
               and 10th International Conference, {MKM} 2011, Bertinoro, Italy, July
               18-23, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6824},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22673-1},
  doi       = {10.1007/978-3-642-22673-1},
  isbn      = {978-3-642-22672-4},
  timestamp = {Wed, 17 May 2017 10:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2010,
  editor    = {Serge Autexier and
               Jacques Calmet and
               David Delahaye and
               Patrick D. F. Ion and
               Laurence Rideau and
               Renaud Rioboo and
               Alan P. Sexton},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6167},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14128-7},
  doi       = {10.1007/978-3-642-14128-7},
  isbn      = {978-3-642-14127-0},
  timestamp = {Fri, 19 May 2017 01:25:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2010,
  editor    = {Jeremy Gibbons},
  title     = {Proceedings of the 3rd {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2010, Baltimore, MD, USA, 30 September 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0252-4},
  timestamp = {Fri, 13 Jan 2012 14:18:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2010wgp,
  editor    = {Bruno C. d. S. Oliveira and
               Marcin Zalewski},
  title     = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
               {WGP} 2010, Baltimore, MD, USA, September 27-29, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1863495},
  doi       = {10.1145/1863495},
  isbn      = {978-1-4503-0251-7},
  timestamp = {Tue, 06 Nov 2018 16:59:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2010wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2010,
  editor    = {John P. Gallagher and
               Janis Voigtl{\"{a}}nder},
  title     = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
               2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1706356},
  isbn      = {978-1-60558-727-1},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2010,
  editor    = {Gary Lewandowski and
               Steven A. Wolfman and
               Thomas J. Cortina and
               Ellen Lowenfeld Walker},
  title     = {Proceedings of the 41st {ACM} technical symposium on Computer science
               education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
               2010},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-4503-0006-3},
  timestamp = {Mon, 15 Mar 2010 14:45:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1012-5337,
  editor    = {H{\'{e}}l{\`{e}}ne Kirchner and
               C{\'{e}}sar A. Mu{\~{n}}oz},
  title     = {Proceedings International Workshop on Strategies in Rewriting, Proving,
               and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
  series    = {{EPTCS}},
  volume    = {44},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.44},
  doi       = {10.4204/EPTCS.44},
  timestamp = {Wed, 12 Sep 2018 01:05:12 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1012-5337},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaip/2009,
  editor    = {Ute Schmid and
               Emanuel Kitzelmann and
               Rinus Plasmeijer},
  title     = {Approaches and Applications of Inductive Programming, Third International
               Workshop, {AAIP} 2009, Edinburgh, UK, September 4, 2009. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5812},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11931-6},
  doi       = {10.1007/978-3-642-11931-6},
  isbn      = {978-3-642-11930-9},
  timestamp = {Mon, 22 May 2017 17:11:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaip/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csedu/2009-1,
  editor    = {Jos{\'{e}} A. Moinhos Cordeiro and
               Boris Shishkov and
               Alexander Verbraeck and
               Markus Helfert},
  title     = {{CSEDU} 2009 - Proceedings of the First International Conference on
               Computer Supported Education, Lisboa, Portugal, March 23-26, 2009
               - Volume 1},
  publisher = {{INSTICC} Press},
  year      = {2009},
  isbn      = {978-989-8111-82-1},
  timestamp = {Mon, 14 Sep 2009 15:59:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csedu/2009-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  timestamp = {Tue, 22 Sep 2009 22:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2009,
  editor    = {Marco T. Moraz{\'{a}}n and
               Sven{-}Bodo Scholz},
  title     = {Implementation and Application of Functional Languages - 21st International
               Symposium, {IFL} 2009, South Orange, NJ, USA, September 23-25, 2009,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6041},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-16478-1},
  doi       = {10.1007/978-3-642-16478-1},
  isbn      = {978-3-642-16477-4},
  timestamp = {Fri, 02 Nov 2018 09:41:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2009,
  editor    = {Jacques Carette and
               Lucas Dixon and
               Claudio Sacerdoti Coen and
               Stephen M. Watt},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5625},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02614-0},
  doi       = {10.1007/978-3-642-02614-0},
  isbn      = {978-3-642-02613-3},
  timestamp = {Sat, 16 Sep 2017 12:11:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sfp/2009,
  editor    = {Zolt{\'{a}}n Horv{\'{a}}th and
               Vikt{\'{o}}ria Zs{\'{o}}k and
               Peter Achten and
               Pieter W. M. Koopman},
  title     = {Proceedings of the Tenth Symposium on Trends in Functional Programming,
               {TFP} 2009, Kom{\'{a}}rno, Slovakia, June 2-4, 2009},
  series    = {Trends in Functional Programming},
  volume    = {10},
  publisher = {Intellect},
  year      = {2009},
  isbn      = {978-1-84150-405-6},
  timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sfp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/2008,
  editor    = {Pieter W. M. Koopman and
               Rinus Plasmeijer and
               S. Doaitse Swierstra},
  title     = {Advanced Functional Programming, 6th International School, {AFP} 2008,
               Heijen, The Netherlands, May 2008, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {5832},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04652-0},
  doi       = {10.1007/978-3-642-04652-0},
  isbn      = {978-3-642-04651-3},
  timestamp = {Tue, 23 May 2017 01:06:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/afp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aisc/2008,
  editor    = {Serge Autexier and
               John A. Campbell and
               Julio Rubio and
               Volker Sorge and
               Masakazu Suzuki and
               Freek Wiedijk},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5144},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85110-3},
  doi       = {10.1007/978-3-540-85110-3},
  isbn      = {978-3-540-85109-7},
  timestamp = {Tue, 13 Jun 2017 10:37:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aisc/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/haskell/2008,
  editor    = {Andy Gill},
  title     = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell
               2008, Victoria, BC, Canada, 25 September 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-064-7},
  timestamp = {Fri, 29 Jan 2010 14:43:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/haskell/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2008wgp,
  editor    = {Ralf Hinze and
               Don Syme},
  title     = {Proceedings of the {ACM} {SIGPLAN} Workshop on Genetic Programming,
               {WGP} 2008, Victoria, BC, Canada, September 20, 2008},
  publisher = {{ACM}},
  year      = {2008},
  url       = {https://doi.org/10.1145/1411318},
  doi       = {10.1145/1411318},
  isbn      = {978-1-60558-060-9},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2008wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2008,
  editor    = {James Hook and
               Peter Thiemann},
  title     = {Proceeding of the 13th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2008, Victoria, BC, Canada, September
               20-28, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-59593-919-7},
  timestamp = {Fri, 23 Jan 2009 12:52:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2006,
  editor    = {Masami Hagiya and
               Philip Wadler},
  title     = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
               2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3945},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11737414},
  doi       = {10.1007/11737414},
  isbn      = {3-540-33438-6},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2006wgp,
  editor    = {Ralf Hinze},
  title     = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
               {WGP} 2006, Portland, Oregon, USA, September 16, 2006},
  publisher = {{ACM}},
  year      = {2006},
  url       = {https://doi.org/10.1145/1159861},
  doi       = {10.1145/1159861},
  isbn      = {1-59593-492-8},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2006wgp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifl/2006,
  editor    = {Zolt{\'{a}}n Horv{\'{a}}th and
               Vikt{\'{o}}ria Zs{\'{o}}k and
               Andrew Butterfield},
  title     = {Implementation and Application of Functional Languages, 18th International
               Symp osium, {IFL} 2006, Budapest, Hungary, September 4-6, 2006, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4449},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-74130-5},
  doi       = {10.1007/978-3-540-74130-5},
  isbn      = {978-3-540-74129-9},
  timestamp = {Sun, 04 Jun 2017 10:07:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifl/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2006,
  editor    = {Tarmo Uustalu},
  title     = {Mathematics of Program Construction, 8th International Conference,
               {MPC} 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4014},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11783596},
  doi       = {10.1007/11783596},
  isbn      = {3-540-35631-2},
  timestamp = {Sun, 04 Jun 2017 10:07:20 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aied/2005,
  editor    = {Chee{-}Kit Looi and
               Gordon I. McCalla and
               Bert Bredeweg and
               Joost Breuker},
  title     = {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 Netherlands},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {125},
  publisher = {{IOS} Press},
  year      = {2005},
  isbn      = {978-1-58603-530-3},
  timestamp = {Fri, 13 Feb 2009 12:45:10 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aied/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2004,
  editor    = {Dexter Kozen and
               Carron Shankland},
  title     = {Mathematics of Program Construction, 7th International Conference,
               {MPC} 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3125},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98756},
  doi       = {10.1007/b98756},
  isbn      = {3-540-22380-0},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2004,
  editor    = {Bharat Jayaraman},
  title     = {Practical Aspects of Declarative Languages, 6th International Symposium,
               {PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3057},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b98355},
  doi       = {10.1007/b98355},
  isbn      = {3-540-22253-7},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ac/2003gp,
  editor    = {Roland Carl Backhouse and
               Jeremy Gibbons},
  title     = {Generic Programming - Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {2793},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b12027},
  doi       = {10.1007/b12027},
  isbn      = {3-540-20194-7},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ac/2003gp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2003,
  editor    = {Colin Runciman and
               Olin Shivers},
  title     = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
               on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
               2003},
  publisher = {{ACM}},
  year      = {2003},
  isbn      = {1-58113-756-7},
  timestamp = {Wed, 21 Apr 2004 13:59:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mpc/2002,
  editor    = {Eerke A. Boiten and
               Bernhard M{\"{o}}ller},
  title     = {Mathematics of Program Construction, 6th International Conference,
               {MPC} 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2386},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45442-X},
  doi       = {10.1007/3-540-45442-X},
  isbn      = {3-540-43857-2},
  timestamp = {Thu, 15 Jun 2017 21:38:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mpc/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/1999,
  editor    = {S. Doaitse Swierstra},
  title     = {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},
  series    = {Lecture Notes in Computer Science},
  volume    = {1576},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-49099-X},
  doi       = {10.1007/3-540-49099-X},
  isbn      = {3-540-65699-5},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/98,
  editor    = {S. Doaitse Swierstra and
               Pedro Rangel Henriques and
               Jos{\'{e}} Nuno Oliveira},
  title     = {Advanced Functional Programming, Third International School, Braga,
               Portugal, September 12-19, 1998, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {1608},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/10704973},
  doi       = {10.1007/10704973},
  isbn      = {3-540-66241-3},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/afp/98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1997,
  editor    = {Peter Lee and
               Fritz Henglein and
               Neil D. Jones},
  title     = {Conference Record of POPL'97: The 24th {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Papers Presented at the Symposium,
               Paris, France, 15-17 January 1997},
  publisher = {{ACM} Press},
  year      = {1997},
  url       = {http://dl.acm.org/citation.cfm?id=263699},
  isbn      = {0-89791-853-3},
  timestamp = {Mon, 10 Dec 2012 15:26:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/1996,
  editor    = {John Launchbury and
               Erik Meijer and
               Tim Sheard},
  title     = {Advanced Functional Programming, Second International School, Olympia,
               WA, USA, August 26-30, 1996, Tutorial Text},
  series    = {Lecture Notes in Computer Science},
  volume    = {1129},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61628-4},
  doi       = {10.1007/3-540-61628-4},
  isbn      = {3-540-61628-4},
  timestamp = {Wed, 14 Feb 2018 13:56:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/afp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/afp/1995,
  editor    = {Johan Jeuring and
               Erik Meijer},
  title     = {Advanced Functional Programming, First International Spring School
               on Advanced Functional Programming Techniques, B{\aa}stad, Sweden,
               May 24-30, 1995, Tutorial Text},
  series    = {Lecture Notes in Computer Science},
  volume    = {925},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-59451-5},
  doi       = {10.1007/3-540-59451-5},
  isbn      = {3-540-59451-5},
  timestamp = {Wed, 14 Feb 2018 13:56:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/afp/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fpca/1995,
  editor    = {John Williams},
  title     = {Proceedings of the seventh international conference on Functional
               programming languages and computer architecture, {FPCA} 1995, La Jolla,
               California, USA, June 25-28, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {https://doi.org/10.1145/224164},
  doi       = {10.1145/224164},
  isbn      = {0-89791-719-7},
  timestamp = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fpca/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/1994,
  editor    = {Donald Sannella},
  title     = {Programming Languages and Systems - ESOP'94, 5th European Symposium
               on Programming, Edinburgh, UK, April 11-13, 1994, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {788},
  publisher = {Springer},
  year      = {1994},
  url       = {https://doi.org/10.1007/3-540-57880-3},
  doi       = {10.1007/3-540-57880-3},
  isbn      = {3-540-57880-3},
  timestamp = {Wed, 20 Jun 2018 17:30:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifip2/1990,
  editor    = {Manfred Broy},
  title     = {Programming concepts and methods: Proceedings of the {IFIP} Working
               Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
               Sea of Galilee, Israel, 2-5 April, 1990},
  publisher = {North-Holland},
  year      = {1990},
  isbn      = {0-444-88545-5},
  timestamp = {Mon, 21 Jan 2019 18:48:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ifip2/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier