List of Publications

---

2020

Sally Fincher, Johan Jeuring, Craig S. Miller, Peter Donaldson, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen Lewis, Andreas Mühling, Janice L. Pearce, and Andrew Petersen. Notional machines in computing education: the education of attention. In 2020 ITiCSE Working Group Reports (ITiCSE-WGR ’20), 2020.

Hieke Keuning, Bastiaan Heeren, and Johan Jeuring. Student Refactoring Behaviour in a Programming Tutor. In Proceedings Koli Calling '20: the 20th Koli Calling International Conference on Computing Education Research, 2020.

Imke de Jong and Johan Jeuring. Computational thinking interventions in higher education: a scoping literature review of interventions used to teach computational thinking. In Proceedings Koli Calling '20: the 20th Koli Calling International Conference on Computing Education Research, 2020.

Josje Lodder, Bastiaan Heeren, Johan Jeuring, and Wendy Neijenhuis. Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. In Journal of Artificial Intelligence in Education, 2020.

Timo Overbeek, Raja Lala, and Johan Jeuring. Scenario smells: signalling potential problems indialogue scenarios in a serious game. In International Journal of Serious Games, 2020.

Sietske Tacoma, Paul Drijvers, Bastiaan Heeren, and Johan Jeuring. Intelligent Feedback on Hypothesis Testing. In Journal of Artificial Intelligence in Education, 2020.

Sietske Tacoma and Paul Drijvers, and Johan Jeuring. Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education. In Journal of Computer Assisted Learning, 2020.

Sander Kamps, Bastiaan Heeren, and Johan Jeuring. Assessing the quality of evolving Haskell systems by measuring structural inequality. In Proceedings Haskell Symposium 2020.

Sally Fincher, Johan Jeuring, Craig S Miller, Peter Donaldson, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen Lewis, Andreas Mühling, Janice L Pearce, Andrew Petersen. Capturing and Characterising Notional Machines. Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education.

Bastiaan Heeren and Johan Jeuring. Automated feedback for mathematical learning environments. In Proceedings of ICTMT 14, 2020.

Josje Lodder, Bastiaan Heeren, and Johan Jeuring. Providing hints, next steps and feedback in a tutoring system for structural induction. In P. Quaresma, W. Neuper and J. Marcos (editors): Theorem proving components for Educational software 2019 (ThEdu’19), EPTCS 313, pages 17 – 34, 2020.

Sietske Tacoma, Corine Geurts, Bert Slof, Johan Jeuring, and Paul Drijvers. Enhancing learning with inspectable student models: Worth the effort? To appear in Computers in Human Behavior, 2020.

---

2019

Raja Lala, Gemma Corbalan, and Johan Jeuring. Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game. A. Liapis et al. (editors), Proceedings of GALA 2019, LNCS 11899, pages 322 – 331, 2019. (The final authenticated version is available online at https://doi.org/10.1007/978-3-030-34350-7_31.)

Raja Lala, Johan Jeuring, and Marcell van Geest. Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment. A. Liapis et al. (editors), Proceedings of GALA 2019, LNCS 11899, pages 169 – 179, 2019. (The final authenticated version is available online at https://doi.org/10.1007/978-3-030-34350-7_17.)

Renate van der Bent, Johan Jeuring, and Bastiaan Heeren. The diagnosing behaviour of intelligent tutoring systems. In Proceedings of ECTEL 2019: the Fourteenth European Conference on Technology Enhanced Learning, LNCS 11722, pages 112 – 126, Springer, 2019. (The final authenticated version is available online at https://doi.org/10.1007/978-3-030-29736-7_9.)

Hieke Keuning, Bastiaan Heeren, and Johan Jeuring. How teachers would help students to improve their code. In Proceedings of ITiCSE 2019: the 24th Annual Conference on Innovation and Technology in Computer Science Education, ACM Press, 2019.

Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, and Paul Drijvers. Automated feedback on the structure of hypothesis tests. (Extended version of paper below.) In Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education, pages 2969 - 2976, 2019.

Sietske Tacoma, Bastiaan Heeren, Johan Jeuring and Paul Drijvers Automated feedback on the structure of hypothesis tests In Proceedings of AIED 2019: the International Conference on Artificial Intelligence in Education, 2019

Ștefan Rușeți, Raja Lala, Gabriel Guțu-Robu, Mihai Dascălu, Johan Jeuring, and Marcell van Geest. Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning In Proceedings AIED 2019: the International Conference on Artificial Intelligence in Education, 2019.

Raja Lala, Marcell van Geest, Ștefan Rușeți, Johan Jeuring, Mihai Dascălu, Jordy van Dortmont, Gabriel Guțu-Robu, and Michiel Hulsbergen. Enhancing Free-text Interactions in a Communication Skills Learning Environment. In Proceedings of CSCL 2019: the 13th International Conference on Computer Supported Collaborative Learning, Volume 2, pages 877 – 878, ISLS, 2019.

Josje Lodder, Bastiaan Heeren and Johan Jeuring. A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. Journal of Computer Assisted Learning, 2019.

Nico Naus and Johan Jeuring. Building a Generic Feedback System for Rule-Based Problems. In David Van Horn, John Hughes, editors, Proceedings of TFP 2016: the 17th International Conference on Trends in Functional Programming, LNCS 10447, pages 172 – 191, Springer, 2019.

Aurora Constantin, Catherine Lai, Elaine Farrow, Beatrice Alex, Ruth Pel-Littel, Henk Herman Nap, and Johan Jeuring. ”Why is the doctor a man?” Reactions of Older Adults to a Virtual Training Doctor. In Proceedings of CHI 2019: the ACM CHI Conference on Human Factors in Computing Systems, 2019.

---

2018

Ruth Pel-Littel, Henk van Zeijts, Nadine Schram, Henk Herman Nap, and Johan Jeuring. A training simulation for practicing shared decision making for older patients. In Proceedings ICTH 2018: the 8th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare, 2018.

Bastiaan Heeren, Johan Jeuring, Sergey Sosnovsky, Paul Drijvers, Peter Boon, Sietske Tacoma, Brigitte Grugeon-Allys, Franoise Chenevotot, Jesse Koops, Armin Weinberger, Jorn van Wijk, and Ferdinand van Walree. Fine-grained cognitive assessment based on free-form input for math story problems. In V. Pammer-Schindler et al., editors, Proceedings of ECTEL 2018: the Thirteenth European Conference on Technology Enhanced Learning, LNCS 11082, pages 1-15, Springer, 2018.



Sietske Tacoma, Sergey Sosnovsky, Peter Boon, Johan Jeuring, and Paul Drijvers The Interplay between Inspectable Student Models and Didactics of Statistics In Digital Experiences in Mathematics Education, 2018.

Jürgen Börstler, Harald Störrle, Daniel Toll, Jelle van Assema, Rodrigo Duran, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, and Bonnie MacKellar. ``I know it when I see it'' - Perceptions of Code Quality. In ITiCSE'17 Working Group Reports, 2018.

---

2017

Nienke van Es and Johan Jeuring. Designing and comparing two Scratch-based teaching approaches for students aged 10-12 years. In Proceedings of the 17th Koli Calling International Conference on Computing Education Research, 2017.

Hugo Arends, Bastiaan Heeren, Hieke Keuning, and Johan Jeuring. An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. In Proceedings of the 17th Koli Calling International Conference on Computing Education Research, 2017.

Nico Naus and Johan Jeuring. Building a generic feedback system for rule-based problems. In TFP 2016: the 17th Symposium on Trends in Functional Programming.

Raja Lala, Johan Jeuring and Timo Overbeek. Analysing and adapting communication scenarios in virtual learning environments for one-to-one communication skills training. In iLRN 2017: the Immersive Learning Research Network conference track on personalisation in immersive and game-based learning environments.

Ivica Milovanovic and Johan Jeuring. Cognitive Modelling with Term Rewriting. In ICCM 2017: the 15th Annual Meeting of the International Conference on Cognitive Modelling.

Raja Lala, Johan Jeuring, Jordy van Dortmont, and Marcell van Geest. Scenarios in virtual learning environments for one-to-one communication skills training. In ETHE: the International Journal of Educational Technology in Higher Education.

Bastiaan Heeren, and Johan Jeuring. An extensible domain-specific language for describing problem-solving procedures. In AIED 2017.

Hieke Keuning, Bastiaan Heeren, and Johan Jeuring. Code quality issues in student programs. In ITiCSE 2017.

Josje Lodder, Bastiaan Heeren, and Johan Jeuring. Generating hints and feedback for Hilbert-style axiomatic proofs. In SIGCSE 2017.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Thomas van Binsbergen. Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback. In Journal of Artificial Intelligence in Education, 2017.

---

2016

Josje Lodder, Bastiaan Heeren, and Johan Jeuring. A domain reasoner for propositional logic. In Journal of Universal Computer Science, vol. 22, no. 8, 1097-1122, 2016.

Ivica Milovanovic and Johan Jeuring. The automatic generation of knowledge spaces from problem solving strategies. In Alessandro Micarelli, John Stamper, and Kitty Panourgia, editors, Proceedings of ITS 2016: the 13th International Conference on Intelligent Tutoring Systems, LNCS 9684, pages 541 - 542, Springer, 2016.

Raja Lala, Johan Jeuring, and Jordy van Dortmont. An implementation architecture for scenario-based simulations. In In Alessandro Micarelli, John Stamper, and Kitty Panourgia, editors, Proceedings of ITS 2016: the 13th International Conference on Intelligent Tutoring Systems, LNCS 9684, pages 531 - 533, Springer, 2016.

Hieke Keuning, Johan Jeuring, and Bastiaan Heeren. Towards a systematic review of automated feedback generation for programming exercises. In Proceedings of ITiCSE 2016: the 21st Annual Conference on Innovation and Technology in Computer Science Education, ACM Press, 2016.

---

2015

Stephanie de Smale, Tom Overmans, Johan Jeuring and Liesbeth van de Grint. The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review. To appear in Proceedings GALA 2015: the Games and Learning Alliance conference, 2015.

Johan Jeuring (editor). Proceedings TFPIE 2015: the 4th International Workshop on Trends in Functional Programming in Education, 2015.

Thijs Alkemade and Johan Jeuring. Type Class Instances for Type-Level Lambdas in Haskell. To appear in Proceedings of TFP 2015: Trends in Functional Programming, 2015.

Sean Leather, Johan Jeuring, Andres Löh, and Bram Schuur. Type-changing rewriting and semantics-preserving transformation. To appear in Science of Computer Programming, 2015.

Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters and Henk van Zeijts. Demo: Communicate! - a serious game for communication skills. To appear in Proceedings EC-TEL 2015: 10th European Conference on Technology Enhanced Learning, 2015.

Josje Lodder, Bastiaan Heeren, and Johan Jeuring. A pilot study of the use of LogEx, lessons learned. To appear in Proceedings TTL 2015: 4th International Conference on Tools for Teaching Logic, 2015.

---

2014

Johan Jeuring, Thomas van Binsbergen, Alex Gerdes, and Bastiaan Heeren. Model solutions and properties for diagnosing student programs in Ask-Elle. In Proceedings CSERC 2014: Computer Science Education Research Conference, 2014.

Hieke Keuning, Bastiaan Heeren, and Johan Jeuring. Strategy-based feedback in a programming tutor. In Proceedings CSERC 2014: Computer Science Education Research Conference, 2014.

Johan Jeuring. Effectieve computerapplicaties: vergelijk de didactiek, niet het domein (in Dutch). 4W: Weten Wat Werkt en Waarom, Jaargang 3, nummer 3, pages 22 - 29, 2014.

Johan Jeuring. De kennis van goed en kwaad - Softwaretechnologie voor leren en onderwijs - (in Dutch). Inaugural lecture, Utrecht University, September 24, 2014.

Tim Olmer, Bastiaan Heeren, and Johan Jeuring. Evaluating Haskell expressions in a tutoring environment. In Proceedings of the 3rd International Workshop on Trends in Functional Programming in Education, 2014.

Jose Emilio Labra Gayo, Johan Jeuring, and Jose María Álvarez Rodríguez. Inductive representations of RDF Graphs. Science of Computer Programming, 2014.

Bastiaan Heeren and Johan Jeuring. Feedback services for stepwise exercises (accompanying material). Science of Computer Programming Special Issue on Software Development Concerns in the e-Learning Domain, volume 88, 110 - 129, 2014.

Sean Leather, Johan Jeuring, Andres Löh, and Bram Schuur. Type-changing rewriting and semantics-preserving transformation. In Wei-Ngan Chin and Jurriaan Hage, editors, Proceedings of PEPM 2014: the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation, 109 - 120, ACM, 2014.

Bram Vaessen, Frans Prins, and Johan Jeuring. University students' achievement goals and help-seeking strategies in an intelligent tutoring system. Computers and Education, volume 72, 196 - 208, 2014.

Johan Jeuring, Rick van Rooij, and Nicolas Pronost. The 5/10 method: a method for designing educational games. In A. De Gloria, editor, Proceedings of GALA 2013: the Games and Learning Alliance conference, LNCS 8605, 1 - 6, Springer, 2014.

---

2013

Johan Jeuring. Finding palindromes: variants and algorithms. In Peter Achten and Pieter Koopman, editors, The beauty of functional code - Essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday, LNCS 8106, pages 258 - 272, Springer, 2013.

Nikolaos Bezirgiannis, Johan Jeuring, and Sean Leather. Usage of generic programming on Hackage - Experience report -. In Proceedings of WGP 2013: the 9th ACM SIGPLAN Workshop on Generic Programming, ACM, 2013.

Eric Andrés, Bastiaan Heeren, and Johan Jeuring. Towards automatic generation of domain-specific mathematical input support. In Proceedings MathUI 2013: Workshop on Mathematical User Interfaces, 2013.

Joeri van Eekelen, Sean Leather, and Johan Jeuring. Type-Changing Program Transformations with Pattern Matching. In Proceedings HART 2013: Workshop on Haskell and Rewriting Techniques.

Jose Emilio Labra Gayo, Johan Jeuring, and Jose María Álvarez Rodríguez. Inductive triple graphs: a purely functional approach to represent RDF. In Madalina Croitoru, Christophe Gonzales, Sebastian Rudolph, and Stefan Woltran, editors, Proceedings GKR 2013: 3rd International Workshop on Graph Structures for Knowledge Representation and Reasoning, Springer, 2013.

Johan Jeuring. The history of finding palindromes. In Jurriaan Hage and Atze Dijkstra, editors, Een lawine van ontwortelde bomen - Liber Amicorum voor Doaitse Swierstra, 27 - 33, 2013.

Tom Hastjarjanto, Johan Jeuring, and Sean Leather. A DSL for describing the artificial intelligence in real-time video games. In Proceedings GAS 2013: the 3rd International Workshop on Games and Software Engineering, 8 - 14, IEEE, 2013.

---

2012

Johan Jeuring and Bastiaan Heeren. Feedback genereren in leeromgevingen voor algebra (in Dutch). To appear in Nieuw Archief voor Wiskunde, 2012. Also available as Technical report Utrecht University UU-CS-2012-011.

Johan Jeuring, Patrik Jansson, and Cláudio Amaral. Testing type class laws. In Proceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell, ACM, 2012. Also available as Technical report Utrecht University UU-CS-2012-008.

Steven Keuchel and Johan Jeuring. Generic conversions of abstract syntax representations. In Proceedings of WGP 2012: the 8th ACM SIGPLAN Workshop on Generic Programming, ACM, 2012. Also available as Technical report Utrecht University UU-CS-2012-009.

Johan Jeuring, Alex Gerdes, and Bastiaan Heeren. Ask-Elle: A Haskell tutor - Demonstration -. In Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning, Springer, 2012. Also available as Technical report Utrecht University UU-CS-2012-010.

Alex Gerdes, Bastiaan Heeren, and Johan Jeuring. Teachers and students in charge --- Using annotated model solutions in a functional programming tutor. In Proceedings EC-TEL 2012: the 7th European Conference on Technology Enhanced Learning, Springer, 2012. An extended version is available as Technical report Utrecht University UU-CS-2012-007.

Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, and Volker Sorge, editors. Proceedings of CICM 2012: 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, Bremen, Germany, July 9 - 13, 2012, LNAI 7362, Springer, 2012.

Alex Gerdes, Johan Jeuring, and Bastiaan Heeren. An interactive functional programming tutor. In Proceedings of ITICSE 2012: the 17th Annual Conference on Innovation and Technology in Computer Science Education, 2012. Also available as Technical report Utrecht University UU-CS-2012-002.

Diederik M. Roijers, Johan Jeuring, and Ad Feelders. Probability estimation and a competence model for rule based e-tutoring systems. In Proceedings of LAK 2012: the Second International Conference on Learning Analytics and Knowledge, 2012. Also available as Technical report Utrecht University UU-CS-2012-003

Johan Jeuring, Alex Gerdes, and Bastiaan Heeren. A programming tutor for Haskell. In Viktória Zsók, Zoltan Horváth, and Rinus Plasmeijer, editors, Proceedings of CEFP 2011: Central European School on Functional Programming, Budapest, June 2011, LNCS 7241, 1 - 45, Springer, 2012. Also available as Technical report Utrecht University UU-CS-2012-005.

---

2011

Josje Lodder and Johan Jeuring. Math-Bridge, bridging the math gap between high school and universities. In Proceedings EADTU annual conference 2011, pages 177 - 185, 2011.

José Pedro Magalhães and Johan Jeuring. Generic programming for indexed datatypes. In Proceedings Workshop on Generic Programming, WGP 2011, pages 37 - 46, ACM, 2011. Also available as Technical report Utrecht University UU-CS-2011-021, 2011.

Josje Lodder and Johan Jeuring. Math-Bridge, een internationale wiskundebrug tussen VO en HO, ook voor informaticastudenten (in Dutch). In Karel Lemmen and Evert van de Vrie, editors, Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011, pages 169 - 174, Open Universiteit The Netherlands, 2011. Also available as Technical report Utrecht University UU-CS-2011-030, 2011.

Ernst Koldenhof, Johan Jeuring, and Sandra Ruth. Rendement van objectgeoriënteerd programmeren - een pilot-experiment met de BlueJ methode (in Dutch). In Karel Lemmen and Evert van de Vrie, editors, Proceedings Nederlands Informatica Onderwijs Congres, NIOC 2011, pages 133 - 147, Open Universiteit The Netherlands, 2011. Also available as Technical report Utrecht University UU-CS-2011-031, 2011.

Bastiaan Heeren and Johan Jeuring. Interleaving strategies. In J.H. Davenport et al, editors, Proceedings of Calculemus/MKM 2011, LNAI 6824, 196 - 211, Springer, 2011. Also available as Technical report Utrecht University UU-CS-2011-016, 2011.

Johan Jeuring, José Pedro Magalhães, and Bastiaan Heeren. Generic programming for domain reasoners. In Zoltán Horváth, Viktória Zsók, Peter Achten, and Pieter Koopman, Proceedings of TFP 2009: 10th Symposium on Trends in Functional Programming, pages 113 - 128, Intellect, 2011. An earlier version appeared as Technical report Utrecht University UU-CS-2009-016, 2009.

---

2010

Alex Gerdes, Bastiaan Heeren, and Johan Jeuring. Properties of exercise strategies. In Hélène Kirchner and César Muñoz, editors, Proceedings of IWS 2010: 1st International Workshop on Strategies in Rewriting, Proving, and Programming, Electronic Proceedings in Theoretical Computer Science 44, pages 21 - 34, 2010. Also available as Technical report Utrecht University UU-CS-2010-028, 2011.

Rolf Biehler, Pascal R. Fischer, Reinhard Hochmuth, Johan Jeuring, and Thomas Wassong. How to support students learning in mathematical bridging-courses using an ITS? Remedial scenarios in the European project Math-Bridge. In Proceedings of Student Mobility and ICT: World in Transition, 2010. Also available as Technical report Utrecht University UU-CS-2010-023, 2010.

Alexey Rodriguez and Johan Jeuring. Enumerating well-typed terms generically. In Ute Schmid, Emanuel Kitzelmann, and Rinus Plasmeijer, Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming, LNCS 5812, pages 93 - 116, Springer, 2010. Also available as Technical report Utrecht University UU-CS-2009-017, 2009.

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, and José Pedro Magalhães. A lightweight approach to datatype-generic rewriting. Journal of Functional Programming, 20 (3/4), pages 375 - 413, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2010-008, 2010.

Bastiaan Heeren and Johan Jeuring. Adapting mathematical domain reasoners. In Proceedings MKM 2010, the 9th International Conference on Mathematical Knowledge Management, LNCS 6167, pages 315 - 330, © Springer, 2010. Also available as Technical report Utrecht University UU-CS-2010-011, 2010.

Sean Leather, Andres Löh, and Johan Jeuring. Pull-ups, push-downs, and passing it around - exercises in functional incrementalization. In Marco T. Morazán and Sven-Bodo Scholz, editors, Proceedings of IFL 2009: the 21st Symposium on Implementation and Application of Functional Languages, LNCS 6041, pages 159 - 178, Springer, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2009-024, 2009.

Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Specifying rewrite strategies for interactive exercises. In Mathematics in Computer Science 3(3), 349-370, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2009-003, 2009.

---

2009

Johan Jeuring and Bastiaan Heeren. An interactive exercise player for Math-Bridge. In Natasa Brouwer, Bas Giebers, Bart Rienties, and Leendert van Gastel, editors, Proceedings of Student Mobility and ICT: Dimensions of Transition, pages 213 - 217, Maastricht University, 2009. Also available as Technical report Utrecht University UU-CS-2009-030, 2009.

Johan Jeuring, Sean Leather, José Pedro Magalhães and Alexey Rodriguez. Libraries for generic programming in Haskell. In Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra, editors, Proceedings of the Sixth Advanced Functional Programming School, AFP'08, May 19-24 2008, Center Parcs "Het Heijderbos", The Netherlands, LNCS 5832, pages 165 - 229, 2009, Springer. An earlier version appeared as Technical report Utrecht University UU-CS-2008-025, 2008.

Bastiaan Heeren and Johan Jeuring. Canonical forms in interactive exercise assistants. In Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, and Stephen M. Watt, editors, Proceedings Calculemus/Mathematical Knowledge Management 2009, LNAI 5625, pages 325 - 340, 2009, Springer. Also available as Technical report Utrecht University UU-CS-2009-011, 2009.

Alex Gerdes, Bastiaan Heeren and Johan Jeuring. Constructing strategies for programming. In José Cordeiro, Boris Shishkov, Alexander Verbraeck and Markus Helfert, editors, Proceedings 1st International Conference on Computer Supported Education, Volume 1, 65 - 72, CSEDU'09, 2009. Also available as Technical report Utrecht University UU-CS-2008-049, 2008.

Bastiaan Heeren, Johan Jeuring. Recognizing strategies. In Aart Middeldorp, editor, Proceedings WRS 2008, Reduction Strategies in Rewriting and Programming, 8th International Workshop. Electronic Notes in Theoretical Computer Science, Volume 237, pages 91-106, April 2009. Also available as Technical report Utrecht University UU-CS-2008-012, 2008.

Johan Jeuring and Lambert Meertens. Geniaal programmeren - Generic programming at Utrecht. In Hans Bodlaender et al, editors, Fascination for computation, 25 jaar opleiding informatica, pages 75 - 88, 2009. Also available as Technical report Utrecht University UU-CS-2009-001, 2009.

---

2008

An extended version is available as Technical report Utrecht University UU-CS-2008-010, 2008.

Hans Cuypers, Gemma Corbalan, Bastiaan Heeren, Erik Jansen, Johan Jeuring, Jan Willem Knopper, Josje Lodder, Rick van der Meiden, and Wouter Pasman. Intelligente feedback in e-learning (in Dutch). TINFON, 4, pages 80 - 86, 2008.

Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman. Feedback services for exercise assistants. Proceedings of the 7th European Conference on e-Learning, Agia Napa, Cyprus, 2008. Also available as Technical report Utrecht University UU-CS-2008-018, 2008.

Andres Löh, Johan Jeuring, Thomas van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, Jan de Wit. The Generic Haskell user's guide, Version 1.80 - Emerald release. Technical report Utrecht University UU-CS-2008-011, 2008.

Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, AISC/Calculemus/MKM 2008, LNAI 5144, pages 430 - 445, Springer, 2008. An extended version is available as Technical report Utrecht University UU-CS-2008-001, 2008.

---

2007

Johan Jeuring. Feedback in exercise assistants. In the book of abstracts of Online Educa Berlin, 13th International Conference on Technology Supported Learning & Training, 2007. Also available as Technical report Utrecht University UU-CS-2007-036, 2007.

Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie, Clara Löh. Morph Endo! Task description of the tenth interstellar contest on Fuun programming. Technical report Utrecht University UU-CS-2007-027, 2007.

Johan Jeuring, Harrie Passier, Sylvia Stuurman. A generic framework for developing exercise assistants. In Proceedings of the 8th International Conference on Information Technology Based Higher Education and Training, ITHET 2007, Kumamoto City, Japan, July 2007. Also available as Technical report Utrecht University UU-CS-2007-017, 2007.

Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, LNCS 4719, Springer, 2007.

Ralf Hinze, Johan Jeuring, and Andres Löh. Comparing approaches to generic programming in Haskell. In Roland Backhouse, Jeremy Gibbons, Ralf Hinze, and Johan Jeuring, editors, Lecture notes of the Spring School on Datatype-Generic Programming 2006, LNCS 4719, pages 72 - 149, 2007, Springer. An earlier version appeared as Technical report Utrecht University UU-CS-2006-022, 2006.

Sylvia Stuurman and Johan Jeuring. Turning an interactive tool implemented in Haskell into a web application -- An experience report. Technical report Utrecht University UU-CS-2007-008, 2007. (Latest version)

Johan Jeuring and Wouter Pasman. Strategy feedback in an e-learning tool for mathematical exercises. In Volker Dötsch, Klaus Hering, and Florian Schaar, editors, Proceedings 5th Workshop on e-Learning, HTWK Leipzig, Germany, pages 7 - 26, October 2007. Also available as Technical report Utrecht University UU-CS-2007-007, 2007. Corresponding code.

Frank Atanassow and Johan Jeuring. Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Science of Computer Programming 65(2), pages 72-107, 2007. An earlier version appeared as Technical report Utrecht University UU-CS-2006-025, 2006.

Patrik Jansson, Johan Jeuring, and students of the Utrecht University Generic Programming class. Testing properties of generic functions. In Zoltán Horváth, Viktória Zsók, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Symposium, IFL 2006, Revised Selected Papers, LNCS 4449, pages 217 - 234, Springer, 2007. An earlier version appeared as Technical report Utrecht University UU-CS-2006-043, 2006.

---

2006

Andres Löh, Johan Jeuring, and Alexey Rodriguez (editors), et al. The Generic Haskell user's guide, Version 1.60 - Diamond release. Technical report Utrecht University UU-CS-2006-049, 2006.

Josje Lodder, Johan Jeuring, and Harrie Passier. An interactive tool for manipulating logical formulae. In M. Manzano, B. Pérez Lancho and A. Gil, editors, Proceedings of the Second International Congress on Tools for Teaching Logic, Salamanca, Spain, September 26 - 30, 2006. Also available as Technical report Utrecht University UU-CS-2006-040, 2006.

Stefan Holdermans, Johan Jeuring, Andres Löh, and Alexey Rodriguez. Generic views on data types. In Tarmo Uustalu, editor, Proceedings 8th International Conference on Mathematics of Program Construction, MPC 2006, LNCS 4014, pages 209 - 234, Springer, 2006. An extended version of this paper is available as Technical report Utrecht University UU-CS-2006-020, 2006.

Johan Jeuring and Rinus Plasmeijer. Generic programming for software evolution. In the Informal proceedings of the ERCIM workshop on Software Evolution, 2006. Also available as Technical report Utrecht University UU-CS-2006-024, 2006.

Ralf Hinze, Johan Jeuring, and Andres Löh. Typed contracts for functional programming. In Philip Wadler and Masimi Hagiya, editors, Proceedings of the 8th International Symposium on Functional and Logic Programming, FLOPS 2006, LNCS 3945, pages 208 - 225, Springer, 2006. Also available as Technical report Utrecht University UU-CS-2006-026, 2006.

Harrie Passier and Johan Jeuring. Feedback in an interactive equation solver. In Mika Seppälä, Sebastian Xambo, Olga Caprotti, editors, Proceedings of the Web Advanced Learning Conference and Exhibition, WebALT 2006, pages 53 - 68, 2006, Oy WebALT Inc. An extended version of this paper is available as Technical report Utrecht University UU-CS-2006-021, 2006.

---

2005

Alexey Rodriguez, Johan Jeuring, and Andres Löh. Type inference for Generic Haskell. Technical report Utrecht University UU-CS-2005-060, 2005.

Harrie Passier and Johan Jeuring. Using schema analysis for feedback in authoring tools for learning environments. Short version in Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, 2005. Extended version in Alexandra Cristea, Rosa Carro, and Franca Garzotto, editors, Proceedings of the Third International Workshop on Authoring of Adaptive and Adaptable Educational Hypermedia, A3EH 2005, pages 13 - 20, 2005.

Andres Löh and Johan Jeuring (editors), et al. The Generic Haskell user's guide, Version 1.42 - Coral release. Technical report Utrecht University UU-CS-2005-004, 2005.

Rui Guerra, Johan Jeuring, and Doaitse Swierstra. Generic validation in an XPath-Haskell data binding. In Proceedings Plan-X, 2005.

---

2004

Harrie Passier and Johan Jeuring. Ontology based feedback generation in design-oriented e-Learning systems. In P. Isaias, P. Kommers and Maggie McPherson (editors), Proceedings of the IADIS International conference, e-Society 2004, Avila, Spain, 16 - 19 July 2004, Volume II, pages 992 - 996.

Frank Atanassow and Johan Jeuring. Inferring type isomorphisms generically. In Dexter Kozen, editor, Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, LNCS 3125, pages 32 - 53, 2004, © Springer-Verlag.

Frank Atanassow, Dave Clarke, and Johan Jeuring. UUXML: a type-preserving XML Schema-Haskell data binding. In Bharat Jayaraman, editor, Proceedings 6th International Symposium on Practical Aspects of Declarative Languages, PADL 2004, LNCS 3057, pages 71 - 85, 2004, © Springer-Verlag.

Ralf Hinze, Johan Jeuring and Andres Löh. Type-indexed data types. Science of Computer Programming 51(1-2), pages 117-151, 2004.

---

2003

An extended version of this paper appears as Technical report ICS Utrecht University, UU-CS-2003-022.

Johan Jeuring, editor. Proceedings of the 2003 ACM SIGPLAN Haskell Workshop, ACM Press, 2003. (Web page for the workshop.)

Johan Jeuring and Simon Peyton Jones, editors. Advanced Functional Programming, LNCS 2638, Springer-Verlag, 2003. (Web page for the school.)

Jeremy Gibbons and Johan Jeuring, editors. Generic Programming. Proceedings of the IFIP TC2 Working Conference on Generic Programming, Schloss Dagstuhl, July 2002. ISBN 1-4020-7374-7. Kluwer Academic Publishers, 2003. Preface and table of contents. (Web page for the conference.)

Johan Jeuring, Het ontwikkelen van XML-tools (The development of XML tools, in Dutch). IT Monitor, Nr 8, pages 4 - 7, September 2003.

Frank Atanassow, Dave Clarke, and Johan Jeuring. Scripting XML with Generic Haskell. In Proceedings of the 7th Brazilian Symposium on Programming Languages, SBLP 2003, 2003. An extended version of this paper appears as Technical report ICS Utrecht University, UU-CS-2003-023.

Ralf Hinze and Johan Jeuring. Generic Haskell: applications. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, LNCS 2793 © Springer-Verlag, pages 57 - 97, 2003. Technical report ICS Utrecht University, UU-CS-2003-016. (Lecture 1, Lecture 2, Lecture 3.)

Ralf Hinze and Johan Jeuring. Generic Haskell: practice and theory. In Roland Backhouse and Jeremy Gibbons, editors, Generic Programming, LNCS 2793 © Springer-Verlag, pages 1 - 56, 2003. Technical report ICS Utrecht University, UU-CS-2003-015.

---

2002

Ralf Hinze, Johan Jeuring and Andres Löh. Type-indexed data types. In Eerke A. Boiten and Bernhard Möller, editors, Proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, LNCS 2386, pages 148 - 174, 2002, © Springer-Verlag. Technical report ICS Utrecht University, UU-CS-2002-011.

Patrik Jansson and Johan Jeuring. Polytypic data conversion programs. Science of Computer Programming 43(1), pages 35 - 75, 2002. Technical report ICS Utrecht University, UU-CS-2001-34.

Dave Clarke, Johan Jeuring, and Andres Löh. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2002-047, 2002. pdf.

Martijn M. Schrage, Johan Jeuring, Doaitse S. Swierstra. Combinators for layered software architectures. Technical report ICS Utrecht University, UU-CS-2002-030, 2002.

Johan Jeuring and Paul Hagg. Generic programming for XML tools. Technical report ICS Utrecht University, UU-CS-2002-023, 2002. Corresponding code.

Bastiaan Heeren, Johan Jeuring, Doaitse Swierstra, Pablo Azero Alcocer. Improving type-error messages in functional languages. Technical report Utrecht University UU-CS-2002-009, 2002.

---

2001

Dave Clarke, Ralf Hinze, Johan Jeuring, Andres Löh, and Jan de Wit. The Generic Haskell user's guide. Technical report Utrecht University UU-CS-2001-26, 2001. pdf, ps.

Johan Jeuring, and S.Doaitse Swierstra. Grammars and Parsing. (dvi, ps, pdf) Lecture Notes, Utrecht University, The Netherlands, 2001. (See http://www.cs.uu.nl/docs/vakken/b3tc/ for the course in which we use these lecture notes.)

Ralf Hinze and Johan Jeuring. Weaving a web. Journal of Functional Programming 11(6), pages 681 - 689, 2001. Technical report ICS Utrecht University, UU-CS-2001-33.

Jan-Willem Roorda, Johan Jeuring. Pure type systems for functional programming. Unpublished report, 2001.

Martijn Schrage and Johan Jeuring. Xprez, a declarative presentation language for XML (4.5MB). Unpublished manuscript, 2001.

---

2000

Johan Jeuring, editor. Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal. Utrecht Technical Report UU-CS-2000-19, 2000. (Workshop home page)

Johan Jeuring, Chris Lengauer, and Mary Sheeran, editors. Special issue of Science of Computer Programming on Mathematics of Program Construction. Vol 37:1-3, Elsevier Science, 2000.

Patrik Jansson and Johan Jeuring. A framework for polytypic programming on terms, with an application to rewriting. ( ps, pdf ) In Johan Jeuring, editor, Proceedings Workshop on Generic Programming (WGP2000), Ponte de Lima, Portugal, Technical report ICS Utrecht University, UU-CS-2000-19, 2000.

---

1999

Johan Jeuring and S. Doaitse Swierstra. Advanced programming concepts in a course on grammars and parsing. In M. Felleisen, M. Hanus and S. Thompson, editors, Proceedings Workshop on Functional and Declarative Programming in Education, Rice COMP TR99-346, pages 7--12, 1999.

Patrik Jansson and Johan Jeuring. Polytypic compact printing and parsing. In S. Doaitse Swierstra, editor, Proceedings European Symposium on Programming, ESOP'99, LNCS 1576, pages 273--287, Springer-Verlag, 1999.

Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. Generic programming - an introduction -. ( ps, pdf ) In S.Doaitse Swierstra,  Pedro R. Henriques and Jose N. Oliveira, editors, Advanced Functional Programming, LNCS 1608, pages 28--115, Springer-Verlag, 1999.

---

1998

Johan Jeuring, editor. Mathematics of Program Construction, LNCS 1422, Springer-Verlag, 1998. (Conference home page)

Patrik Jansson and Johan Jeuring. Polytypic unification. Journal of Functional Programming, 8(5), pages 527--536, 1998. (bib)

Patrik Jansson and Johan Jeuring. PolyLib - a polytypic function library. In proceedings Workshop on Generic Programming, June 18, Marstrand, Sweden, 1998. See the proceedings

---

1997

---

1996

Johan Jeuring and Patrik Jansson. Polytypic programming. (abstract) (bib) In J. Launchbury, E. Meijer and T. Sheard, editors, Advanced Functional Programming, LNCS 1129, pages 68--114, Springer-Verlag, 1996.

---

1995

Johan Jeuring and Erik Meijer, editors. Advanced Functional Programming, LNCS 925, Springer-Verlag, 1995. (bib)

Erik Meijer and Johan Jeuring. Merging monads and folds for functional programming. (abstract) (bib) In Johan Jeuring and E. Meijer, editors, Advanced Functional Programming, LNCS 925, pages 228--266, Springer-Verlag, 1995.

---

1994

Johan Jeuring and Doaitse Swierstra. Bottom-up grammar analysis - a functional formulation -. (abstract) (bib) In Donald Sannella, editor, Proceedings Programming Languages and Systems-ESOP '94, pages 317--332. Springer-Verlag, LNCS 788, 1994.

Johan Jeuring. The derivation of on-line algorithms, with an application to finding palindromes. (bib) Algorithmica, 11, pages 146--184, 1994.

Johan Jeuring. Polytypic programming - abstract. In U.H. Engberg, K.G. Larsen, and P.D. Mosses, editors, Proceedings of the 6th Nordic Workshop on Programming Theory, BRICS Notes Series number NS-94-6, Dept. of Computer Science, University of Aarhus, Denmark, page 237, 1994.

---

1993

Johan Jeuring. Theories for Algorithm Calculation (ps.Z (604K), pdf, ps, dvi). PhD thesis, Utrecht University, The Netherlands, 1993. Parts of the thesis appeared in the Lecture Notes of the STOP 1992 Summerschool on Constructive Algorithmics.

---

1992

Johan Jeuring. The derivation of a hierarchy of algorithms for pattern matching on arrays. (abstract) (bib) In G. Hains and L.M.R. Mullin, editors, Proceedings ATABLE-92, Second international workshop on array structures, DIRO publication number 841, Université de Montréal, pages 199--213, 1992.

Johan Jeuring. Incremental data compression -abstract-. (bib) In J.A. Storer and M. Cohn, editors, Proceedings Data Compression Conference, March 24--27, 1992, Snowbird, Utah, page 411, 1992.

Johan Jeuring. Incremental data compression -extended abstract-. (abstract) (bib)In P.S. Fisher, editor, Proceedings of the Navy Environmental Systems Workshop, 1992.

Johan Jeuring. Constructive Algorithmics. In CWI, Annual Report '91, pages 27--29, 1992.

---

1991

Johan Jeuring, editor. Liber Amicorum Lambert Meertens & CWI 1966-1991. Stichting Mathematisch Centrum, 1991. (bib)

Johan Jeuring. The derivation of hierarchies of algorithms on matrices. In B. Möller, editor, Constructing Programs from Specifications, pages 9--32. North-Holland, 1991.

Johan Jeuring. Incremental algorithms on lists. (ps, pdf, abstract, bib) In J. van Leeuwen, editor, Proceedings SION Computing Science in the Netherlands, pages 315--335, 1991. Also appeared in EURICS Workshop on Calculational Theories of Program Structure, Hollum-Ameland, 1991.

Maarten M. Fokkinga, Johan Jeuring, Lambert Meertens and Erik Meijer. A translation from attribute grammars to catamorphisms. The Squiggolist 2(1), pages 20--26, 1991.

---

1990

Johan Jeuring. Algorithms from theorems. In M. Broy and C.B. Jones, editors, Programming Concepts and Methods, pages 247--266. North-Holland, 1990. Also appeared as Technical report Utrecht University RUU-CS-90-03 , 1990.

Johan Jeuring. The largest ascending substree --- an exercise in nub theory. The Squiggolist, 1:36--44, 1990.

---

1989

Johan Jeuring. Deriving algorithms on binary labelled trees. In P.M.G. Apers, D. Bosman, and J. van Leeuwen, editors, Proceedings SION Computing Science in the Netherlands, pages 229--249, 1989. Also appeared in Proceedings International Summer School on Constructive Algorithmics, Hollum-Ameland, 1989.

Johan Jeuring and Lambert Meertens. The least-effort cabinet formation. The Squiggolist, 1(2), 1989.

---

1988

Johan Jeuring. On classes of run-time functions. In Proceedings SION Computing Science in the Netherlands, pages 335--351, 1988.

Johan Jeuring. Finding palindromes. In Proceedings SION Computing Science in the Netherlands, pages 123--140, 1988.

---

Note

The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit written permission of the copyright holder.

Back to homepage.