Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarBibTeX records: Johan Jeuring
@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 
, founded at 
, founded at 
last updated on 2019-01-24 23:02 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
