Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Bastiaan Heeren
@inproceedings{DBLP:conf/iticse/KeuningJH23,
author = {Hieke Keuning and
Johan Jeuring and
Bastiaan Heeren},
editor = {Mikko{-}Jussi Laakso and
Mattia Monga and
Simon and
Judithe Sheard},
title = {A Systematic Mapping Study of Code Quality in Education},
booktitle = {Proceedings of the 2023 Conference on Innovation and Technology in
Computer Science Education V. 1, ITiCSE 2023, Turku, Finland, July
7-12, 2023},
pages = {5--11},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3587102.3588777},
doi = {10.1145/3587102.3588777},
timestamp = {Fri, 07 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/KeuningJH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MullenersJH23,
author = {Niek Mulleners and
Johan Jeuring and
Bastiaan Heeren},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Program Synthesis Using Example Propagation},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {20--36},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_2},
doi = {10.1007/978-3-031-24841-2\_2},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/MullenersJH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-13451,
author = {Hieke Keuning and
Johan Jeuring and
Bastiaan Heeren},
title = {A Systematic Mapping Study of Code Quality in Education - with Complete
Bibliography},
journal = {CoRR},
volume = {abs/2304.13451},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.13451},
doi = {10.48550/ARXIV.2304.13451},
eprinttype = {arXiv},
eprint = {2304.13451},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-13451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-13873,
author = {Niek Mulleners and
Johan Jeuring and
Bastiaan Heeren},
title = {Program Synthesis Using Example Propagation},
journal = {CoRR},
volume = {abs/2210.13873},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.13873},
doi = {10.48550/ARXIV.2210.13873},
eprinttype = {arXiv},
eprint = {2210.13873},
timestamp = {Mon, 31 Oct 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-13873.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/LodderHJN21,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring and
Wendy Neijenhuis},
title = {Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic
Proof Tutor},
journal = {Int. J. Artif. Intell. Educ.},
volume = {31},
number = {1},
pages = {99--133},
year = {2021},
url = {https://doi.org/10.1007/s40593-020-00222-2},
doi = {10.1007/S40593-020-00222-2},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/LodderHJN21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/VerhaegRH21,
author = {Mario Verhaeg and
Lloyd Rutledge and
Bastiaan Heeren},
editor = {Eva Blomqvist and
Torsten Hahmann and
Karl Hammar and
Pascal Hitzler and
Rinke Hoekstra and
Raghava Mutharaju and
Mar{\'{\i}}a Poveda{-}Villal{\'{o}}n and
Cogan Shimizu and
Martin G. Skj{\ae}veland and
Monika Solanki and
Vojtech Sv{\'{a}}tek and
Lu Zhou},
title = {SHACL-Based Ontology Design Patterns for Evidence-Based Decision-Making},
booktitle = {Advances in Pattern-Based Ontology Engineering, extended versions
of the papers published at the Workshop on Ontology Design and Patterns
{(WOP)}},
series = {Studies on the Semantic Web},
volume = {51},
pages = {292--298},
publisher = {{IOS} Press},
year = {2021},
url = {https://doi.org/10.3233/SSW210020},
doi = {10.3233/SSW210020},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/VerhaegRH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KeuningHJ21,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Mark Sherriff and
Laurence D. Merkle and
Pamela A. Cutter and
Alvaro E. Monge and
Judithe Sheard},
title = {A Tutoring System to Learn Code Refactoring},
booktitle = {{SIGCSE} '21: The 52nd {ACM} Technical Symposium on Computer Science
Education, Virtual Event, USA, March 13-20, 2021},
pages = {562--568},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3408877.3432526},
doi = {10.1145/3408877.3432526},
timestamp = {Wed, 07 Apr 2021 16:26:26 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/KeuningHJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aiedu/TacomaHJD20,
author = {Sietske Tacoma and
Bastiaan Heeren and
Johan Jeuring and
Paul Drijvers},
title = {Intelligent Feedback on Hypothesis Testing},
journal = {Int. J. Artif. Intell. Educ.},
volume = {30},
number = {4},
pages = {616--636},
year = {2020},
url = {https://doi.org/10.1007/s40593-020-00218-y},
doi = {10.1007/S40593-020-00218-Y},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/TacomaHJD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/KampsHJ20,
author = {Sander Kamps and
Bastiaan Heeren and
Johan Jeuring},
editor = {Tom Schrijvers},
title = {Assessing the quality of evolving Haskell systems by measuring structural
inequality},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Symposium on
Haskell, Haskell@ICFP 2020, Virtual Event, USA, August 7, 2020},
pages = {67--79},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3406088.3409014},
doi = {10.1145/3406088.3409014},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/haskell/KampsHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kolicalling/KeuningHJ20,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Nick Falkner and
Otto Sepp{\"{a}}l{\"{a}}},
title = {Student Refactoring Behaviour in a Programming Tutor},
booktitle = {Koli Calling '20: 20th Koli Calling International Conference on Computing
Education Research, Koli, Finland, November 19-22, 2020},
pages = {4:1--4:10},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3428029.3428043},
doi = {10.1145/3428029.3428043},
timestamp = {Sat, 21 Oct 2023 10:46:28 +0200},
biburl = {https://dblp.org/rec/conf/kolicalling/KeuningHJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-07510,
author = {Niek Mulleners and
Johan Jeuring and
Bastiaan Heeren},
title = {Model-Driven Synthesis for Programming Tutors},
journal = {CoRR},
volume = {abs/2011.07510},
year = {2020},
url = {https://arxiv.org/abs/2011.07510},
eprinttype = {arXiv},
eprint = {2011.07510},
timestamp = {Wed, 18 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-07510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcal/LodderHJ19,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
title = {A comparison of elaborated and restricted feedback in LogEx, a tool
for teaching rewriting logical formulae},
journal = {J. Comput. Assist. Learn.},
volume = {35},
number = {5},
pages = {620--632},
year = {2019},
url = {https://doi.org/10.1111/jcal.12365},
doi = {10.1111/JCAL.12365},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcal/LodderHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {{ACM} Trans. Comput. Educ.},
volume = {19},
number = {1},
pages = {3:1--3:43},
year = {2019},
url = {https://doi.org/10.1145/3231711},
doi = {10.1145/3231711},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jeric/KeuningJH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/TacomaHJD19,
author = {Sietske Tacoma and
Bastiaan Heeren and
Johan Jeuring and
Paul Drijvers},
editor = {Seiji Isotani and
Eva Mill{\'{a}}n and
Amy Ogan and
Peter M. Hastings and
Bruce M. McLaren and
Rose Luckin},
title = {Automated Feedback on the Structure of Hypothesis Tests},
booktitle = {Artificial Intelligence in Education - 20th International Conference,
{AIED} 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {11626},
pages = {281--285},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-23207-8\_52},
doi = {10.1007/978-3-030-23207-8\_52},
timestamp = {Mon, 15 Jun 2020 17:12:49 +0200},
biburl = {https://dblp.org/rec/conf/aied/TacomaHJD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/BentJH19,
author = {Renate van der Bent and
Johan Jeuring and
Bastiaan Heeren},
editor = {Maren Scheffel and
Julien Broisin and
Viktoria Pammer{-}Schindler and
Andri Ioannou and
Jan Schneider},
title = {The Diagnosing Behaviour of Intelligent Tutoring Systems},
booktitle = {Transforming Learning with Meaningful Technologies - 14th European
Conference on Technology Enhanced Learning, {EC-TEL} 2019, Delft,
The Netherlands, September 16-19, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11722},
pages = {112--126},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29736-7\_9},
doi = {10.1007/978-3-030-29736-7\_9},
timestamp = {Sat, 30 Sep 2023 09:39:33 +0200},
biburl = {https://dblp.org/rec/conf/ectel/BentJH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningHJ19,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Bruce Scharlau and
Roger McDermott and
Arnold Pears and
Mihaela Sabin},
title = {How Teachers Would Help Students to Improve Their Code},
booktitle = {Proceedings of the 2019 {ACM} Conference on Innovation and Technology
in Computer Science Education, Aberdeen, Scotland, UK, July 15-17,
2019},
pages = {119--125},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3304221.3319780},
doi = {10.1145/3304221.3319780},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/KeuningHJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2002-12552,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
editor = {Pedro Quaresma and
Walther Neuper and
Jo{\~{a}}o Marcos},
title = {Providing Hints, Next Steps and Feedback in a Tutoring System for
Structural Induction},
booktitle = {Proceedings 8th International Workshop on Theorem Proving Components
for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August
2019},
series = {{EPTCS}},
volume = {313},
pages = {17--34},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.313.2},
doi = {10.4204/EPTCS.313.2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-12552.bib},
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 B. J. 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},
editor = {Viktoria Pammer{-}Schindler and
Mar P{\'{e}}rez{-}Sanagust{\'{\i}}n and
Hendrik Drachsler and
Raymond Elferink and
Maren Scheffel},
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},
series = {Lecture Notes in Computer Science},
volume = {11082},
pages = {262--276},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98572-5\_20},
doi = {10.1007/978-3-319-98572-5\_20},
timestamp = {Mon, 28 Aug 2023 21:17:28 +0200},
biburl = {https://dblp.org/rec/conf/ectel/HeerenJSDBTKWGC18.bib},
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 = {Int. J. Artif. Intell. Educ.},
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 = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aiedu/GerdesHJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aied/HeerenJ17,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Elisabeth Andr{\'{e}} and
Ryan S. Baker and
Xiangen Hu and
Ma. Mercedes T. Rodrigo and
Benedict du Boulay},
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},
series = {Lecture Notes in Computer Science},
volume = {10331},
pages = {77--89},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61425-0\_7},
doi = {10.1007/978-3-319-61425-0\_7},
timestamp = {Sat, 30 Sep 2023 09:33:58 +0200},
biburl = {https://dblp.org/rec/conf/aied/HeerenJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningHJ17,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Renzo Davoli and
Michael Goldweber and
Guido R{\"{o}}{\ss}ling and
Irene Polycarpou},
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},
publisher = {{ACM}},
year = {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/conf/iticse/KeuningHJ17.bib},
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},
editor = {Calkin Suero Montero and
Mike Joy},
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},
publisher = {{ACM}},
year = {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/conf/kolicalling/ArendsKHJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/LodderHJ17,
author = {Josje Lodder and
Bastiaan Heeren and
Johan Jeuring},
editor = {Michael E. Caspersen and
Stephen H. Edwards and
Tiffany Barnes and
Daniel D. Garcia},
title = {Generating Hints and Feedback for Hilbert-style Axiomatic Proofs},
booktitle = {Proceedings of the 2017 {ACM} {SIGCSE} Technical Symposium on Computer
Science Education, {SIGCSE} 2017, Seattle, WA, USA, March 8-11, 2017},
pages = {387--392},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3017680.3017736},
doi = {10.1145/3017680.3017736},
timestamp = {Tue, 23 Mar 2021 10:54:19 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/LodderHJ17.bib},
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. Univers. Comput. Sci.},
volume = {22},
number = {8},
pages = {1097--1122},
year = {2016},
url = {http://www.jucs.org/jucs\_22\_8/a\_domain\_reasoner\_for},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jucs/LodderHJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/KeuningJH16,
author = {Hieke Keuning and
Johan Jeuring and
Bastiaan Heeren},
editor = {Alison Clear and
Ernesto Cuadros{-}Vargas and
Janet Carter and
Yv{\'{a}}n T{\'{u}}pac},
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},
publisher = {{ACM}},
year = {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/conf/iticse/KeuningJH16.bib},
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},
editor = {Gr{\'{a}}inne Conole and
Tomaz Klobucar and
Christoph Rensing and
Johannes Konert and
{\'{E}}lise Lavou{\'{e}}},
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},
series = {Lecture Notes in Computer Science},
volume = {9307},
pages = {513--517},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24258-3\_49},
doi = {10.1007/978-3-319-24258-3\_49},
timestamp = {Sat, 30 Sep 2023 09:39:33 +0200},
biburl = {https://dblp.org/rec/conf/ectel/JeuringGHHIJMSW15.bib},
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},
eprinttype = {arXiv},
eprint = {1507.03671},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LodderHJ15.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HeerenJ14.bib},
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},
editor = {Erik Barendsen and
Valentina Dagiene},
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},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2691352.2691355},
doi = {10.1145/2691352.2691355},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/JeuringBGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/KeuningHJ14,
author = {Hieke Keuning and
Bastiaan Heeren and
Johan Jeuring},
editor = {Erik Barendsen and
Valentina Dagiene},
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},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2691352.2691356},
doi = {10.1145/2691352.2691356},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cserc/KeuningHJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/OlmerHJ14,
author = {Tim Olmer and
Bastiaan Heeren and
Johan Jeuring},
editor = {James L. Caldwell and
Philip K. F. H{\"{o}}lzenspies and
Peter Achten},
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},
series = {{EPTCS}},
volume = {170},
pages = {50--66},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.170.4},
doi = {10.4204/EPTCS.170.4},
timestamp = {Thu, 25 Feb 2021 14:03:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/OlmerHJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/Andres13,
author = {Eric Andres and
Bastiaan Heeren and
Johan Jeuring},
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 = {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}},
series = {{CEUR} Workshop Proceedings},
volume = {1010},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1010/paper-10.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/Andres13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cserc/StuurmanEH12,
author = {Sylvia Stuurman and
Marko C. J. D. van Eekelen and
Bastiaan Heeren},
editor = {Gerrit C. van der Veer and
Marcin Sikorski and
Peter B. Sloep and
Marko C. J. D. van Eekelen},
title = {A new method for sustainable development of open educational resources},
booktitle = {Proceedings of Second Computer Science Education Research Conference,
{CSERC} 2012, Wroclaw, Poland, September 9-12, 2012},
pages = {57--66},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2421277.2421284},
doi = {10.1145/2421277.2421284},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cserc/StuurmanEH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/GerdesHJ12,
author = {Alex Gerdes and
Bastiaan Heeren and
Johan Jeuring},
editor = {Andrew Ravenscroft and
Stefanie N. Lindstaedt and
Carlos Delgado Kloos and
Davinia Hern{\'{a}}ndez Leo},
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},
series = {Lecture Notes in Computer Science},
volume = {7563},
pages = {383--388},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33263-0\_31},
doi = {10.1007/978-3-642-33263-0\_31},
timestamp = {Mon, 28 Aug 2023 21:17:28 +0200},
biburl = {https://dblp.org/rec/conf/ectel/GerdesHJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/JeuringGH12,
author = {Johan Jeuring and
Alex Gerdes and
Bastiaan Heeren},
editor = {Andrew Ravenscroft and
Stefanie N. Lindstaedt and
Carlos Delgado Kloos and
Davinia Hern{\'{a}}ndez Leo},
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},
series = {Lecture Notes in Computer Science},
volume = {7563},
pages = {453--458},
publisher = {Springer},
year = {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 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ectel/JeuringGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/GerdesJH12,
author = {Alex Gerdes and
Johan Jeuring and
Bastiaan Heeren},
editor = {Tami Lapidot and
Judith Gal{-}Ezer and
Michael E. Caspersen and
Orit Hazzan},
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},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2325296.2325356},
doi = {10.1145/2325296.2325356},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/iticse/GerdesJH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cefp/JeuringGH11,
author = {Johan Jeuring and
Alex Gerdes and
Bastiaan Heeren},
editor = {Vikt{\'{o}}ria Zs{\'{o}}k and
Zolt{\'{a}}n Horv{\'{a}}th and
Rinus Plasmeijer},
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},
series = {Lecture Notes in Computer Science},
volume = {7241},
pages = {1--45},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32096-5\_1},
doi = {10.1007/978-3-642-32096-5\_1},
timestamp = {Mon, 03 Jan 2022 22:17:59 +0100},
biburl = {https://dblp.org/rec/conf/cefp/JeuringGH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeerenJ11,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {James H. Davenport and
William M. Farmer and
Josef Urban and
Florian Rabe},
title = {Interleaving Strategies},
booktitle = {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},
pages = {196--211},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22673-1\_14},
doi = {10.1007/978-3-642-22673-1\_14},
timestamp = {Fri, 20 Nov 2020 16:08:54 +0100},
biburl = {https://dblp.org/rec/conf/mkm/HeerenJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ticttl/LodderH11,
author = {Josje Lodder and
Bastiaan Heeren},
editor = {Patrick Blackburn and
Hans van Ditmarsch and
Mar{\'{\i}}a Manzano and
Fernando Soler{-}Toscano},
title = {A Teaching Tool for Proving Equivalences between Logical Formulae},
booktitle = {Tools for Teaching Logic - Third International Congress, {TICTTL}
2011, Salamanca, Spain, June 1-4, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6680},
pages = {154--161},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21350-2\_18},
doi = {10.1007/978-3-642-21350-2\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ticttl/LodderH11.bib},
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/journals/jfp/NoortYHJHM10.bib},
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 = {Math. Comput. Sci.},
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 = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/HeerenJG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aisc/HeerenJ10,
author = {Bastiaan Heeren and
Johan Jeuring},
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 = {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},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {315--330},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7\_27},
doi = {10.1007/978-3-642-14128-7\_27},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HeerenJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/GerdesJH10,
author = {Alex Gerdes and
Johan Jeuring and
Bastiaan Heeren},
editor = {Gary Lewandowski and
Steven A. Wolfman and
Thomas J. Cortina and
Ellen Lowenfeld Walker},
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},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1734263.1734412},
doi = {10.1145/1734263.1734412},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/GerdesJH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-5561,
author = {Alex Gerdes and
Bastiaan Heeren and
Johan Jeuring},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Properties of Exercise Strategies},
booktitle = {Proceedings International Workshop on Strategies in Rewriting, Proving,
and Programming, {IWS} 2010, Edinburgh, UK, 9th July 2010},
series = {{EPTCS}},
volume = {44},
pages = {21--34},
year = {2010},
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/journals/corr/abs-1012-5561.bib},
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},
eprinttype = {arXiv},
eprint = {1005.4762},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-4762.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/GerdesHJ09,
author = {Alex Gerdes and
Bastiaan Heeren and
Johan Jeuring},
editor = {Jos{\'{e}} A. Moinhos Cordeiro and
Boris Shishkov and
Alexander Verbraeck and
Markus Helfert},
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},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Mon, 14 Sep 2009 15:59:09 +0200},
biburl = {https://dblp.org/rec/conf/csedu/GerdesHJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HeerenJ09,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
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},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {325--340},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_27},
doi = {10.1007/978-3-642-02614-0\_27},
timestamp = {Sun, 02 Jun 2019 21:17:34 +0200},
biburl = {https://dblp.org/rec/conf/mkm/HeerenJ09.bib},
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},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Peter Achten and
Pieter W. M. Koopman},
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},
series = {Trends in Functional Programming},
volume = {10},
pages = {113--128},
publisher = {Intellect},
year = {2009},
timestamp = {Tue, 04 Jun 2013 08:01:28 +0200},
biburl = {https://dblp.org/rec/conf/sfp/JeuringMH09.bib},
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},
editor = {Serge Autexier and
John A. Campbell and
Julio Rubio and
Volker Sorge and
Masakazu Suzuki and
Freek Wiedijk},
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},
series = {Lecture Notes in Computer Science},
volume = {5144},
pages = {430--445},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85110-3\_36},
doi = {10.1007/978-3-540-85110-3\_36},
timestamp = {Mon, 05 Feb 2024 20:35:32 +0100},
biburl = {https://dblp.org/rec/conf/aisc/HeerenJLG08.bib},
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},
editor = {Ralf Hinze and
Don Syme},
title = {A lightweight approach to datatype-generic rewriting},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Generic Programming,
{WGP} 2008, Victoria, BC, Canada, September 20, 2008},
pages = {13--24},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411318.1411321},
doi = {10.1145/1411318.1411321},
timestamp = {Tue, 15 Feb 2022 13:05:32 +0100},
biburl = {https://dblp.org/rec/conf/icfp/NoortRHJH08.bib},
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},
editor = {James Hook and
Peter Thiemann},
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},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1411204.1411259},
doi = {10.1145/1411204.1411259},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/DolstraHHHJLLMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeerenJ09,
author = {Bastiaan Heeren and
Johan Jeuring},
editor = {Aart Middeldorp},
title = {Recognizing Strategies},
booktitle = {Proceedings of the 8th International Workshop on Reduction Strategies
in Rewriting and Programming, WRS@RTA 2008, Hagenberg, Austria, July
14, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {237},
pages = {91--106},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.037},
doi = {10.1016/J.ENTCS.2009.03.037},
timestamp = {Thu, 09 Mar 2023 13:23:33 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeerenJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HageH09,
author = {Jurriaan Hage and
Bastiaan Heeren},
editor = {Alessandro Aldini and
Maurice H. ter Beek and
Fabio Gadducci},
title = {Strategies for Solving Constraints in Type and Effect Systems},
booktitle = {Proceedings of the 3rd International Workshop on Views On Designing
Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August
30-31, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {236},
pages = {163--183},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.03.021},
doi = {10.1016/J.ENTCS.2009.03.021},
timestamp = {Thu, 09 Mar 2023 13:17:10 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HageH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifl/HageH06,
author = {Jurriaan Hage and
Bastiaan Heeren},
editor = {Zolt{\'{a}}n Horv{\'{a}}th and
Vikt{\'{o}}ria Zs{\'{o}}k and
Andrew Butterfield},
title = {Heuristics for Type Error Discovery and Recovery},
booktitle = {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},
pages = {199--216},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-74130-5\_12},
doi = {10.1007/978-3-540-74130-5\_12},
timestamp = {Mon, 03 Jan 2022 22:26:06 +0100},
biburl = {https://dblp.org/rec/conf/ifl/HageH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Heeren05,
author = {Bastiaan Heeren},
title = {Top quality type error Messages},
school = {Utrecht University, Netherlands},
year = {2005},
url = {http://dspace.library.uu.nl/handle/1874/7297},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Heeren05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/HeerenH05,
author = {Bastiaan Heeren and
Jurriaan Hage},
editor = {Manuel V. Hermenegildo and
Daniel Cabeza},
title = {Type Class Directives},
booktitle = {Practical Aspects of Declarative Languages, 7th International Symposium,
{PADL} 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3350},
pages = {253--267},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30557-6\_19},
doi = {10.1007/978-3-540-30557-6\_19},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/HeerenH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/HeerenLI03,
author = {Bastiaan Heeren and
Daan Leijen and
Arjan van IJzendoorn},
editor = {Johan Jeuring},
title = {Helium, for learning Haskell},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Haskell, Haskell 2003,
Uppsala, Sweden, August 28, 2003},
pages = {62--71},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/871895.871902},
doi = {10.1145/871895.871902},
timestamp = {Fri, 03 Jun 2022 10:47:45 +0200},
biburl = {https://dblp.org/rec/conf/haskell/HeerenLI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/HeerenHS03,
author = {Bastiaan Heeren and
Jurriaan Hage and
S. Doaitse Swierstra},
editor = {Colin Runciman and
Olin Shivers},
title = {Scripting the type inference process},
booktitle = {Proceedings of the Eighth {ACM} {SIGPLAN} International Conference
on Functional Programming, {ICFP} 2003, Uppsala, Sweden, August 25-29,
2003},
pages = {3--13},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/944705.944707},
doi = {10.1145/944705.944707},
timestamp = {Sat, 26 Jun 2021 13:59:53 +0200},
biburl = {https://dblp.org/rec/conf/icfp/HeerenHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
