default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohan Jeuring
Person information
- affiliation: Utrecht University, Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j27]Michaela Arztmann
, Jessica Lizeth Domínguez Alfaro, Lisette Hornstra, Jacqueline Wong, Johan Jeuring, Liesbeth Kester:
Game over? Investigating students' working memory, situational interest, and behavioral patterns as predictors of dropout in an educational game. Int. J. Child Comput. Interact. 43: 100721 (2025)- [c108]Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring:
'Can You Refactor This for Me?': Investigating How Students Use ChatGPT in Code Refactoring Exercises. ITiCSE (2) 2025: 788 - [c107]Claudia Szabo, Miranda C. Parker, Michèlle Friend, Johan Jeuring, Tobias Kohn, Lauri Malmi, Judithe Sheard:
Models of Mastery Learning for Computing Education. SIGCSE (1) 2025: 1092-1098 - [i10]Laura M. van der Lubbe, Sylvia P. van Borkulo, Johan Jeuring:
A Systematic Literature Review of Computer Science MOOCs for K-12 education. CoRR abs/2501.18986 (2025) - 2024
- [j26]Michaela Arztmann, Jessica Lizeth Domínguez Alfaro, Lisette Hornstra, Johan Jeuring, Liesbeth Kester:
In-game performance: The role of students' socio-economic status, self-efficacy and situational interest in an augmented reality game. Br. J. Educ. Technol. 55(2): 484-498 (2024) - [j25]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Example-Based Reasoning about the Realizability of Polymorphic Programs. Proc. ACM Program. Lang. 8(ICFP): 317-337 (2024) - [c106]Lianne Roest, Hieke Keuning, Johan Jeuring:
Next-Step Hint Generation for Introductory Programming Using Large Language Models. ACE 2024: 144-153 - [c105]Jessica Lizeth Domínguez Alfaro, Michaela Arztmann, Johan Jeuring:
AR for Science Education: Students' Behaviour Patterns and the Relationship Between Cognitive Load, Knowledge Acquisition and Performance. iLRN (1) 2024: 302-316 - [c104]Dominic Lohr, Natalie Kiesler, Hieke Keuning, Johan Jeuring:
"Let Them Try to Figure It Out First" - Reasons Why Experts (Do Not) Provide Feedback to Novice Programmers. ITiCSE (1) 2024 - [c103]Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring:
Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study. Koli Calling 2024: 8:1-8:11 - [c102]Imke de Jong, Bo Sichterman, Johan Jeuring:
Use of Computational Thinking Skills when solving Bebras Tasks: a Think-aloud Study. Koli Calling 2024: 18:1-18:11 - [c101]Colleen M. Lewis, Craig S. Miller, Johan Jeuring, Janice L. Pearce, Andrew Petersen:
Hash Table Notional Machines: A Comparison of 2D and 3D Representations. SIGCSE Virtual (1) 2024 - [i9]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Example-Based Reasoning about the Realizability of Polymorphic Programs. CoRR abs/2406.18304 (2024) - [i8]Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring:
Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study. CoRR abs/2410.20875 (2024) - 2023
- [j24]Jürgen Börstler, Kwabena Ebo Bennin, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar, Rodrigo Duran, Harald Störrle, Daniel Toll, Jelle van Assema:
Developers talking about code quality. Empir. Softw. Eng. 28(6): 128 (2023) - [j23]Francesco Bellotti, Jannicke Baalsrud Hauge, Manuel Gentile, Johan Jeuring, Iza Marfisi-Schottman, Manuel Ninaus, Remco C. Veltkamp, Vanissa Wanick, Riccardo Berta:
Alessandro De Gloria: 1955 - 2023. Int. J. Serious Games 10(1) (2023) - [c100]Laura M. van der Lubbe, Sylvia P. van Borkulo, Peter B. J. Boon, W. P. G. van Velthoven, Johan Jeuring:
Bridging the Computer Science Teacher Shortage with a Digital Learning Platform. CSEDU (1) 2023: 289-296 - [c99]Johan Jeuring:
Automatic feedback and hints on steps students take when learning how to program. DELFI 2023: 2 - [c98]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Mapping Study of Code Quality in Education. ITiCSE (1) 2023: 5-11 - [c97]Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring:
Student Code Refactoring Misconceptions. ITiCSE (1) 2023: 19-25 - [c96]Johan Jeuring, Roel Groot, Hieke Keuning:
What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper). Koli Calling 2023: 38:1-38:6 - [c95]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. PADL 2023: 20-36 - [i7]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. CoRR abs/2304.13451 (2023) - [i6]Johan Jeuring, Roel Groot, Hieke Keuning:
What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper). CoRR abs/2310.05998 (2023) - [i5]Lianne Roest, Hieke Keuning, Johan Jeuring:
Next-Step Hint Generation for Introductory Programming Using Large Language Models. CoRR abs/2312.10055 (2023) - 2022
- [c94]Johan Jeuring, Hieke Keuning, Samiha Marwan, Dennis J. Bouvier, Cruz Izu, Natalie Kiesler, Teemu Lehtinen, Dominic Lohr, Andrew Petersen, Sami Sarsa:
Towards Giving Timely Formative Feedback and Hints to Novice Programmers. ITiCSE-WGR 2022: 95-115 - [c93]Johan Jeuring, Hieke Keuning, Samiha Marwan, Dennis J. Bouvier, Cruz Izu, Natalie Kiesler, Teemu Lehtinen, Dominic Lohr, Andrew Petersen, Sami Sarsa:
Steps Learners Take when Solving Programming Tasks, and How Learning Environments (Should) Respond to Them. ITiCSE (2) 2022: 570-571 - [c92]Imke de Jong, Johan Jeuring:
Developing a Self-efficacy Scale for Computational Thinking (CT-SES). Koli Calling 2022: 28:1-28:2 - [c91]Imke de Jong, Bo Sichterman, Johan Jeuring:
Examining the Use of Computational Thinking Skills When Solving Bebras Tasks. Koli Calling 2022: 31:1-31:2 - [i4]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Program Synthesis Using Example Propagation. CoRR abs/2210.13873 (2022) - 2021
- [j22]Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis:
Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. Int. J. Artif. Intell. Educ. 31(1): 99-133 (2021) - [j21]Sietske Tacoma, Paul Drijvers, Johan Jeuring:
Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education. J. Comput. Assist. Learn. 37(2): 319-332 (2021) - [c90]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
A Tutoring System to Learn Code Refactoring. SIGCSE 2021: 562-568 - [p1]Richard S. Bird, Jeremy Gibbons, Ralf Hinze, Peter Höfner, Johan Jeuring, Lambert G. L. T. Meertens, Bernhard Möller, Carroll Morgan, Tom Schrijvers, Wouter Swierstra, Nicolas Wu:
Algorithmics. IFIP's Exciting First 60+ Years 2021: 59-98 - 2020
- [j20]Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. 30(4): 616-636 (2020) - [j19]Sietske Tacoma, Corine Geurts, Bert Slof, Johan Jeuring, Paul Drijvers:
Enhancing learning with inspectable student models: Worth the effort? Comput. Hum. Behav. 107: 106276 (2020) - [j18]Timo Overbeek, Raja Lala, Johan Jeuring:
Scenario smells: signalling potential problems in dialogue scenarios in a serious game. Int. J. Serious Games 7(4): 51-73 (2020) - [c89]Sander Kamps, Bastiaan Heeren, Johan Jeuring:
Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP 2020: 67-79 - [c88]Nico Naus, Johan Jeuring:
End-user feedback in multi-user workflow systems. IFL 2020: 23-32 - [c87]Sally Fincher, Johan Jeuring, Craig S. Miller, Peter Donaldson, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen M. Lewis, Andreas Mühling, Janice L. Pearce, Andrew Petersen:
Notional Machines in Computing Education: The Education of Attention. ITiCSE-WGR 2020: 21-50 - [c86]Sally Fincher, Johan Jeuring, Craig S. Miller, Peter Donaldson, Benedict du Boulay, Matthias Hauswirth, Arto Hellas, Felienne Hermans, Colleen M. Lewis, Andreas Mühling, Janice L. Pearce, Andrew Petersen:
Capturing and Characterising Notional Machines. ITiCSE 2020: 502-503 - [c85]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Student Refactoring Behaviour in a Programming Tutor. Koli Calling 2020: 4:1-4:10 - [c84]Imke de Jong, Johan Jeuring:
Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking. Koli Calling 2020: 35:1-35:10 - [i3]Niek Mulleners, Johan Jeuring, Bastiaan Heeren:
Model-Driven Synthesis for Programming Tutors. CoRR abs/2011.07510 (2020)
2010 – 2019
- 2019
- [j17]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. J. Comput. Assist. Learn. 35(5): 620-632 (2019) - [j16]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. ACM Trans. Comput. Educ. 19(1): 3:1-3:43 (2019) - [c83]Stefan Ruseti, Raja Lala, Gabriel Gutu-Robu, Mihai Dascalu, Johan Jeuring, Marcell van Geest:
Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning. AIED (2) 2019: 242-246 - [c82]Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers:
Automated Feedback on the Structure of Hypothesis Tests. AIED (2) 2019: 281-285 - [c81]Aurora Constantin, Catherine Lai, Elaine Farrow, Beatrice Alex, Ruth Pel-Littel, Henk Herman Nap, Johan Jeuring:
"Why is the Doctor a Man": Reactions of Older Adults to a Virtual Training Doctor. CHI Extended Abstracts 2019 - [c80]Raja Lala, Marcell van Geest, Stefan Ruseti, Johan Jeuring, Mihai Dascalu, Jordy van Dortmont, Gabriel Gutu-Robu, Michiel Hulsbergen:
Enhancing Free-text Interactions in a Communication Skills Learning Environment. CSCL 2019 - [c79]Renate van der Bent, Johan Jeuring, Bastiaan Heeren:
The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL 2019: 112-126 - [c78]Raja Lala, Johan Jeuring, Marcell van Geest:
Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment. GALA 2019: 169-179 - [c77]Raja Lala, Gemma Corbalan, Johan Jeuring:
Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game. GALA 2019: 322-331 - [c76]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
How Teachers Would Help Students to Improve Their Code. ITiCSE 2019: 119-125 - [c75]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE 2019: 17-34 - 2018
- [c74]Bastiaan Heeren, Johan Jeuring, Sergey A. Sosnovsky, Paul Drijvers, Peter B. J. Boon, Sietske Tacoma, Jesse Koops, Armin Weinberger, Brigitte Grugeon-Allys, Françoise Chenevotot-Quentin, Jorn van Wijk, Ferdinand van Walree:
Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. EC-TEL 2018: 262-276 - [c73]Ruth Pel-Littel, Henk van Zeijts, Nadine Schram, Henk Herman Nap, Johan Jeuring:
A training simulation for practicing shared decision making for older patients. EUSPN/ICTH 2018: 287-293 - [c72]Milo Buwalda, Johan Jeuring, Nico Naus:
Use expert knowledge instead of data: generating hints for hour of code exercises. L@S 2018: 32:1-32:4 - 2017
- [j15]Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen:
Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. 27(1): 65-100 (2017) - [j14]Rosa Maria Bottino, Johan Jeuring:
Guest editorial. Int. J. Serious Games 4(3) (2017) - [c71]Bastiaan Heeren, Johan Jeuring:
An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED 2017: 77-89 - [c70]Jürgen Börstler, Harald Störrle, Daniel Toll, Jelle van Assema, Rodrigo Duran, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar:
"I know it when I see it" Perceptions of Code Quality: ITiCSE '17 Working Group Report. ITiCSE-WGR 2017: 70-85 - [c69]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Code Quality Issues in Student Programs. ITiCSE 2017: 110-115 - [c68]Jürgen Börstler, Harald Störrle, Daniel Toll, Jelle van Assema, Rodrigo Duran, Sara Hooshangi, Johan Jeuring, Hieke Keuning, Carsten Kleiner, Bonnie K. MacKellar:
"I know it when I see it": Perceptions of Code Quality. ITiCSE 2017: 389 - [c67]Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. Koli Calling 2017: 2-9 - [c66]Nienke van Es, Johan Jeuring:
Designing and comparing two scratch-based teaching approaches for students aged 10-12 years. Koli Calling 2017: 178-182 - [c65]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE 2017: 387-392 - 2016
- [j13]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. 22(8): 1097-1122 (2016) - [c64]Hieke Keuning, Johan Jeuring, Bastiaan Heeren:
Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE 2016: 41-46 - [c63]Nico Naus, Johan Jeuring:
Building a Generic Feedback System for Rule-Based Problems. TFP 2016: 172-191 - [e10]Rosa Bottino, Johan Jeuring, Remco C. Veltkamp:
Games and Learning Alliance - 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings. Lecture Notes in Computer Science 10056, Springer 2016, ISBN 978-3-319-50181-9 [contents] - [e9]Johan Jeuring, Jay McCarthy:
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, MD, USA, June 2, 2015, and June 7, 2016. EPTCS 230, 2016 [contents] - 2015
- [j12]Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. 112: 145-169 (2015) - [c62]Johan Jeuring, Frans Grosfeld, Bastiaan Heeren, Michiel Hulsbergen, Richta IJntema, Vincent Jonker, Nicole Mastenbroek, Maarten van der Smagt, Frank Wijmans, Majanne Wolters, Henk van Zeijts:
Communicate! - A Serious Game for Communication Skills -. EC-TEL 2015: 513-517 - [c61]Stephanie de Smale, Tom Overmans, Johan Jeuring, Liesbeth van de Grint:
The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review. GALA 2015: 506-516 - [c60]Thijs Alkemade, Johan Jeuring:
Type Class Instances for Type-Level Lambdas in Haskell. TFP 2015: 60-84 - [i2]Josje Lodder, Bastiaan Heeren, Johan Jeuring:
A pilot study of the use of LogEx, lessons learned. CoRR abs/1507.03671 (2015) - 2014
- [j11]Bram E. Vaessen, Frans J. Prins, Johan Jeuring:
University students' achievement goals and help-seeking strategies in an intelligent tutoring system. Comput. Educ. 72: 196-208 (2014) - [j10]Bastiaan Heeren, Johan Jeuring:
Feedback services for stepwise exercises. Sci. Comput. Program. 88: 110-129 (2014) - [j9]José Emilio Labra Gayo, Johan Jeuring, José María Álvarez Rodríguez:
Inductive representations of RDF graphs. Sci. Comput. Program. 95: 135-146 (2014) - [c59]Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren:
Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC 2014: 31-40 - [c58]Hieke Keuning, Bastiaan Heeren, Johan Jeuring:
Strategy-based feedback in a programming tutor. CSERC 2014: 43-54 - [c57]Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur:
Type-changing rewriting and semantics-preserving transformation. PEPM 2014: 109-120 - [c56]Tim Olmer, Bastiaan Heeren, Johan Jeuring:
Evaluating Haskell expressions in a tutoring environment. TFPIE 2014: 50-66 - [e8]Johan Jeuring, Manuel M. T. Chakravarty:
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. ACM 2014, ISBN 978-1-4503-2873-9 [contents] - 2013
- [c55]Johan Jeuring:
Finding Palindromes: Variants and Algorithms. The Beauty of Functional Code 2013: 258-272 - [c54]Johan Jeuring, Rick van Rooij, Nicolas Pronost:
The 5/10 Method: A Method for Designing Educational Games. GALA 2013: 364-369 - [c53]José Emilio Labra Gayo, Johan Jeuring, José María Álvarez Rodríguez:
Inductive Triple Graphs: A Purely Functional Approach to Represent RDF. GKR 2013: 92-110 - [c52]Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather:
Usage of generic programming on hackage: experience report. WGP@ICFP 2013: 47-52 - [c51]Tom Hastjarjanto, Johan Jeuring, Sean Leather:
A DSL for describing the artificial intelligence in real-time video games. GAS@ICSE 2013: 8-14 - [c50]Eric Andres, Bastiaan Heeren, Johan Jeuring:
Towards automatic generation of domain-specific mathematical input support. CICM Workshops 2013 - 2012
- [c49]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL 2012: 383-388 - [c48]Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL 2012: 453-458 - [c47]Johan Jeuring, Patrik Jansson, Cláudio Amaral:
Testing type class laws. Haskell 2012: 49-60 - [c46]Steven Keuchel, Johan Jeuring:
Generic conversions of abstract syntax representations. WGP@ICFP 2012: 57-68 - [c45]Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
An interactive functional programming tutor. ITiCSE 2012: 250-255 - [c44]Diederik M. Roijers, Johan Jeuring, Ad Feelders:
Probability estimation and a competence model for rule based e-tutoring systems. LAK 2012: 255-258 - [e7]Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge:
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. Lecture Notes in Computer Science 7362, Springer 2012, ISBN 978-3-642-31373-8 [contents] - 2011
- [c43]Johan Jeuring, Alex Gerdes, Bastiaan Heeren:
A Programming Tutor for Haskell. CEFP 2011: 1-45 - [c42]José Pedro Magalhães, Johan Jeuring:
Generic programming for indexed datatypes. WGP@ICFP 2011: 37-46 - [c41]Bastiaan Heeren, Johan Jeuring:
Interleaving Strategies. Calculemus/MKM 2011: 196-211 - 2010
- [j8]Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães:
A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010) - [j7]Bastiaan Heeren, Johan Jeuring, Alex Gerdes:
Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. 3(3): 349-370 (2010) - [c40]Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330 - [c39]José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh:
A generic deriving mechanism for Haskell. Haskell 2010: 37-48 - [c38]Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring:
Generic selections of subexpressions. ICFP-WGP 2010: 37-48 - [c37]José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh:
Optimizing generics is easy! PEPM 2010: 33-42 - [c36]Alex Gerdes, Johan Jeuring, Bastiaan Heeren:
Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445 - [c35]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Properties of Exercise Strategies. IWS 2010: 21-34 - [i1]Bastiaan Heeren, Johan Jeuring:
Adapting Mathematical Domain Reasoners. CoRR abs/1005.4762 (2010)
2000 – 2009
- 2009
- [c34]Alexey Rodriguez Yakushev, Johan Jeuring:
Enumerating Well-Typed Terms Generically. AAIP 2009: 93-116 - [c33]Alex Gerdes, Bastiaan Heeren, Johan Jeuring:
Constructing Strategies for Programming. CSEDU (1) 2009: 65-72 - [c32]Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring:
Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244 - [c31]Sean Leather, Andres Löh, Johan Jeuring:
Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL 2009: 159-178 - [c30]Bastiaan Heeren, Johan Jeuring:
Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340 - [c29]Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren:
Generic Programming for Domain Reasoners. Trends in Functional Programming 2009: 113-128 - 2008
- [c28]Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev:
Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229 - [c27]Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes:
Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445 - [c26]Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira:
Comparing libraries for generic programming in haskell. Haskell 2008: 111-122 - [c25]Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren:
A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24 - [c24]Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie:
Report on the tenth ICFP programming contest. ICFP 2008: 397-408 - [c23]Bastiaan Heeren, Johan Jeuring:
Recognizing Strategies. WRS@RTA 2008: 91-106 - 2007
- [j6]Frank Atanassow, Johan Jeuring:
Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Sci. Comput. Program. 65(2): 72-107 (2007) - [e6]Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring:
Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures. Lecture Notes in Computer Science 4719, Springer 2007, ISBN 978-3-540-76785-5 [contents] - 2006
- [c22]Johan Jeuring, Rinus Plasmeijer:
Generic Programming for Software Evolution. EVOL 2006: 97-104 - [c21]Ralf Hinze, Johan Jeuring, Andres Löh:
Typed Contracts for Functional Programming. FLOPS 2006: 208-225 - [c20]Johan Jeuring, Alexey Rodriguez, Gideon Smeding:
Generating generic functions. ICFP-WGP 2006: 23-32 - [c19]Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser:
Testing Properties of Generic Functions. IFL 2006: 217-234 - [c18]Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez:
Generic Views on Data Types. MPC 2006: 209-234 - [c17]Ralf Hinze, Johan Jeuring, Andres Löh:
Comparing Approaches to Generic Programming in Haskell. SSDGP 2006: 72-149 - 2005
- [c16]Harrie Passier, Johan Jeuring:
Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. AIED 2005: 911-913 - 2004
- [j5]Ralf Hinze, Johan Jeuring, Andres Löh:
Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004) - [c15]Frank Atanassow, Johan Jeuring:
Inferring Type Isomorphisms Generically. MPC 2004: 32-53 - [c14]Frank Atanassow, Dave Clarke, Johan Jeuring:
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85 - 2003
- [c13]Ralf Hinze, Johan Jeuring:
Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56 - [c12]Ralf Hinze, Johan Jeuring:
Generic Haskell: Applications. Generic Programming 2003: 57-96 - [c11]Andres Löh, Dave Clarke, Johan Jeuring:
Dependency-style generic Haskell. ICFP 2003: 141-152 - [e5]Johan Jeuring, Simon L. Peyton Jones:
Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures. Lecture Notes in Computer Science 2638, Springer 2003, ISBN 3-540-40132-6 [contents] - [e4]Johan Jeuring:
Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003. ACM 2003, ISBN 978-1-58113-758-3 [contents] - [e3]Jeremy Gibbons, Johan Jeuring:
Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany. IFIP Conference Proceedings 243, Kluwer 2003, ISBN 1-4020-7374-7 [contents] - 2002
- [j4]Patrik Jansson, Johan Jeuring:
Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002) - [c10]Ralf Hinze, Johan Jeuring, Andres Löh:
Type-Indexed Data Types. MPC 2002: 148-174 - 2001
- [j3]Ralf Hinze, Johan Jeuring:
Weaving a web. J. Funct. Program. 11(6): 681-689 (2001)
1990 – 1999
- 1999
- [c9]Patrik Jansson, Johan Jeuring:
Polytypic Compact Printing and Parsing. ESOP 1999: 273-287 - 1998
- [j2]Patrik Jansson, Johan Jeuring:
Polytypic Unification. J. Funct. Program. 8(5): 527-536 (1998) - [c8]Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens:
Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115 - [e2]Johan Jeuring:
Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings. Lecture Notes in Computer Science 1422, Springer 1998, ISBN 3-540-64591-8 [contents] - 1997
- [c7]Patrik Jansson, Johan Jeuring:
Polyp - A Polytypic Programming Language. POPL 1997: 470-482 - 1996
- [c6]Johan Jeuring, Patrik Jansson:
Polytypic Programming. Advanced Functional Programming 1996: 68-114 - 1995
- [c5]Erik Meijer, Johan Jeuring:
Merging Monads and Folds for Functional Programming. Advanced Functional Programming 1995: 228-266 - [c4]Johan Jeuring:
Polytypic Pattern Matching. FPCA 1995: 238-248 - [c3]Johan Jeuring, S. Doaitse Swierstra:
Constructing Functional Programs for Grammar Analysis Problems. FPCA 1995: 259-269 - [e1]Johan Jeuring, Erik Meijer:
Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text. Lecture Notes in Computer Science 925, Springer 1995, ISBN 3-540-59451-5 [contents] - 1994
- [j1]Johan Jeuring:
The Derivation of On-Line Algorithms, with an Application To Finding Palindromes. Algorithmica 11(2): 146-184 (1994) - [c2]Johan Jeuring, S. Doaitse Swierstra:
Bottom-up Grammar Analysis - A Functional Formulation. ESOP 1994: 317-332 - 1990
- [c1]Johan Jeuring:
Algorithms for Theorems. Programming Concepts and Methods 1990: 247-266
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-25 21:06 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:
