Johan Jeuring - RankMe

166 papers A* 1A 12B 16C 10Misc 1Journal 42Unranked 76

Year	Rank	Type	Title / Venue / Authors
2026	C	`conf`	Hole Refinements for Polymorphic Type-and-Example Driven Synthesis. PEPM Niek Mulleners, Johan Jeuring, Wouter Swierstra
2025	—	`conf`	'Can You Refactor This for Me?': Investigating How Students Use ChatGPT in Code Refactoring Exercises. ITiCSE (2) Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring
2025	—	`conf`	'Ignore These Errors for Now' - How Experts Provide Feedback on Steps Novices Take Towards Solving Programming Problems. CompEd (1) Dominic Lohr, Natalie Kiesler, Hieke Keuning, Johan Jeuring
2025	J	`jnl`	A Systematic Literature Review of Computer Science MOOCs for K-12 education. CoRR Laura M. van der Lubbe, Sylvia P. van Borkulo, Johan Jeuring
2025	—	`conf`	Buggy Rule Diagnosis for Combined Steps Through Final Answer Evaluation in Stepwise Tasks. AIED (3) Gerben van der Hoek, Johan Jeuring, Rogier Bos
2025	J	`jnl`	Buggy rule diagnosis for combined steps through final answer evaluation in stepwise tasks. CoRR Gerben van der Hoek, Johan Jeuring, Rogier Bos
2025	J	`jnl`	Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback. CoRR Gerben van der Hoek, Bastiaan Heeren, Rogier Bos, Paul Drijvers, Johan Jeuring
2025	—	`conf`	Combining Model Tracing and Constraint-Based Modeling for Multistep Strategy Diagnoses. AIED (6) Gerben van der Hoek, Johan Jeuring, Rogier Bos
2025	J	`jnl`	Combining model tracing and constraint-based modeling for multistep strategy diagnoses. CoRR Gerben van der Hoek, Johan Jeuring, Rogier Bos
2025	J	`jnl`	Evaluating LLM-Generated Versus Human-Authored Responses in Role-Play Dialogues. CoRR Dongxu Lu, Johan Jeuring, Albert Gatt
2025	J	`jnl`	Game over? Investigating students' working memory, situational interest, and behavioral patterns as predictors of dropout in an educational game. Int. J. Child Comput. Interact. Michaela Arztmann, Jessica Lizeth Domínguez Alfaro, Lisette Hornstra, Jacqueline Wong, Johan Jeuring, Liesbeth Kester
2025	—	`conf`	Models of Mastery Learning for Computing Education. SIGCSE (1) Claudia Szabo, Miranda C. Parker, Michelle Friend, Johan Jeuring, Tobias Kohn, Lauri Malmi, Judithe Sheard
2025	J	`jnl`	To move or not to move? The effect of active versus passive pre-training on cognitive load and in-game performance in an AR game. Br. J. Educ. Technol. Michaela Arztmann, Jessica Lizeth Domínguez Alfaro, Lisette Hornstra, Jacqueline Wong, Johan Jeuring, Liesbeth Kester
2025	—	`conf`	Uncovering Behavioral Patterns in Student-LLM Conversations during Code Refactoring Tasks. Koli Calling Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring
2024	—	`conf`	"Let Them Try to Figure It Out First" - Reasons Why Experts (Do Not) Provide Feedback to Novice Programmers. ITiCSE (1) Dominic Lohr, Natalie Kiesler, Hieke Keuning, Johan Jeuring
2024	—	`conf`	AR for Science Education: Students' Behaviour Patterns and the Relationship Between Cognitive Load, Knowledge Acquisition and Performance. iLRN (1) Jessica Lizeth Domínguez Alfaro, Michaela Arztmann, Johan Jeuring
2024	J	`jnl`	Example-Based Reasoning about the Realizability of Polymorphic Programs. CoRR Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2024	J	`jnl`	Example-Based Reasoning about the Realizability of Polymorphic Programs. Proc. ACM Program. Lang. Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2024	—	`conf`	Hash Table Notional Machines: A Comparison of 2D and 3D Representations. SIGCSE Virtual (1) Colleen M. Lewis, Craig S. Miller, Johan Jeuring, Janice L. Pearce, Andrew Petersen
2024	J	`jnl`	In-game performance: The role of students' socio-economic status, self-efficacy and situational interest in an augmented reality game. Br. J. Educ. Technol. Michaela Arztmann, Jessica Lizeth Domínguez Alfaro, Lisette Hornstra, Johan Jeuring, Liesbeth Kester
2024	—	`conf`	Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study. Koli Calling Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring
2024	J	`jnl`	Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study. CoRR Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring
2024	C	`conf`	Next-Step Hint Generation for Introductory Programming Using Large Language Models. ACE Lianne Roest, Hieke Keuning, Johan Jeuring
2024	—	`conf`	Use of Computational Thinking Skills when solving Bebras Tasks: a Think-aloud Study. Koli Calling Imke de Jong, Bo Sichterman, Johan Jeuring
2023	J	`jnl`	A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. CoRR Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2023	—	`conf`	A Systematic Mapping Study of Code Quality in Education. ITiCSE (1) Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2023	J	`jnl`	Alessandro De Gloria: 1955 - 2023. Int. J. Serious Games Francesco Bellotti, Jannicke Baalsrud Hauge, Manuel Gentile, Johan Jeuring, Iza Marfisi-Schottman, Manuel Ninaus, Remco C. Veltkamp, Vanissa Wanick, Riccardo Berta
2023	—	`conf`	Automatic feedback and hints on steps students take when learning how to program. DELFI Johan Jeuring
2023	—	`conf`	Bridging the Computer Science Teacher Shortage with a Digital Learning Platform. CSEDU (1) Laura M. van der Lubbe, Sylvia P. van Borkulo, Peter B. J. Boon, W. P. G. van Velthoven, Johan Jeuring
2023	J	`jnl`	Developers talking about code quality. Empir. Softw. Eng. 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
2023	J	`jnl`	Next-Step Hint Generation for Introductory Programming Using Large Language Models. CoRR Lianne Roest, Hieke Keuning, Johan Jeuring
2023	C	`conf`	Program Synthesis Using Example Propagation. PADL Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2023	—	`conf`	Student Code Refactoring Misconceptions. ITiCSE (1) Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring
2023	—	`conf`	What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper). Koli Calling Johan Jeuring, Roel Groot, Hieke Keuning
2023	J	`jnl`	What Skills Do You Need When Developing Software Using ChatGPT? (Discussion Paper). CoRR Johan Jeuring, Roel Groot, Hieke Keuning
2022	—	`conf`	Developing a Self-efficacy Scale for Computational Thinking (CT-SES). Koli Calling Imke de Jong, Johan Jeuring
2022	—	`conf`	Examining the Use of Computational Thinking Skills When Solving Bebras Tasks. Koli Calling Imke de Jong, Bo Sichterman, Johan Jeuring
2022	J	`jnl`	Program Synthesis Using Example Propagation. CoRR Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2022	—	`conf`	Steps Learners Take when Solving Programming Tasks, and How Learning Environments (Should) Respond to Them. ITiCSE (2) Johan Jeuring, Hieke Keuning, Samiha Marwan, Dennis J. Bouvier, Cruz Izu, Natalie Kiesler, Teemu Lehtinen, Dominic Lohr, Andrew Petersen, Sami Sarsa
2022	—	`conf`	Towards Giving Timely Formative Feedback and Hints to Novice Programmers. ITiCSE-WGR Johan Jeuring, Hieke Keuning, Samiha Marwan, Dennis J. Bouvier, Cruz Izu, Natalie Kiesler, Teemu Lehtinen, Dominic Lohr, Andrew Petersen, Sami Sarsa
2021	A	`conf`	A Tutoring System to Learn Code Refactoring. SIGCSE Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2021	—	`ch.`	Algorithmics. IFIP's Exciting First 60+ Years 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
2021	J	`jnl`	Combined inner and outer loop feedback in an intelligent tutoring system for statistics in higher education. J. Comput. Assist. Learn. Sietske Tacoma, Paul Drijvers, Johan Jeuring
2021	J	`jnl`	Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. Int. J. Artif. Intell. Educ. Josje Lodder, Bastiaan Heeren, Johan Jeuring, Wendy Neijenhuis
2020	—	`conf`	Assessing the quality of evolving Haskell systems by measuring structural inequality. Haskell@ICFP Sander Kamps, Bastiaan Heeren, Johan Jeuring
2020	B	`conf`	Capturing and Characterising Notional Machines. ITiCSE 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
2020	—	`conf`	Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking. Koli Calling Imke de Jong, Johan Jeuring
2020	—	`conf`	End-user feedback in multi-user workflow systems. IFL Nico Naus, Johan Jeuring
2020	J	`jnl`	Enhancing learning with inspectable student models: Worth the effort? Comput. Hum. Behav. Sietske Tacoma, Corine Geurts, Bert Slof, Johan Jeuring, Paul Drijvers
2020	J	`jnl`	Intelligent Feedback on Hypothesis Testing. Int. J. Artif. Intell. Educ. Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
2020	J	`jnl`	Model-Driven Synthesis for Programming Tutors. CoRR Niek Mulleners, Johan Jeuring, Bastiaan Heeren
2020	—	`conf`	Notional Machines in Computing Education: The Education of Attention. ITiCSE-WGR 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
2020	J	`jnl`	Scenario smells: signalling potential problems in dialogue scenarios in a serious game. Int. J. Serious Games Timo Overbeek, Raja Lala, Johan Jeuring
2020	—	`conf`	Student Refactoring Behaviour in a Programming Tutor. Koli Calling Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2019	—	`conf`	"Why is the Doctor a Man": Reactions of Older Adults to a Virtual Training Doctor. CHI Extended Abstracts Aurora Constantin, Catherine Lai, Elaine Farrow, Beatrice Alex, Ruth Pel-Littel, Henk Herman Nap, Johan Jeuring
2019	J	`jnl`	A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. ACM Trans. Comput. Educ. Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2019	J	`jnl`	A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. J. Comput. Assist. Learn. Josje Lodder, Bastiaan Heeren, Johan Jeuring
2019	—	`conf`	Automated Feedback on the Structure of Hypothesis Tests. AIED (2) Sietske Tacoma, Bastiaan Heeren, Johan Jeuring, Paul Drijvers
2019	—	`conf`	Enhancing Free-text Interactions in a Communication Skills Learning Environment. CSCL Raja Lala, Marcell van Geest, Stefan Ruseti, Johan Jeuring, Mihai Dascalu, Jordy van Dortmont, Gabriel Gutu-Robu, Michiel Hulsbergen
2019	—	`conf`	Evaluation of Interventions in Blended Learning Using a Communication Skills Serious Game. GALA Raja Lala, Gemma Corbalan, Johan Jeuring
2019	B	`conf`	How Teachers Would Help Students to Improve Their Code. ITiCSE Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2019	—	`conf`	Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. ThEdu@CADE Josje Lodder, Bastiaan Heeren, Johan Jeuring
2019	—	`conf`	Scaffolding Open Text Input in a Scripted Communication Skills Learning Environment. GALA Raja Lala, Johan Jeuring, Marcell van Geest
2019	—	`conf`	Semantic Matching of Open Texts to Pre-scripted Answers in Dialogue-Based Learning. AIED (2) Stefan Ruseti, Raja Lala, Gabriel Gutu-Robu, Mihai Dascalu, Johan Jeuring, Marcell van Geest
2019	B	`conf`	The Diagnosing Behaviour of Intelligent Tutoring Systems. EC-TEL Renate van der Bent, Johan Jeuring, Bastiaan Heeren
2018	—	`conf`	A training simulation for practicing shared decision making for older patients. EUSPN/ICTH Ruth Pel-Littel, Henk van Zeijts, Nadine Schram, Henk Herman Nap, Johan Jeuring
2018	B	`conf`	Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. EC-TEL 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
2018	B	`conf`	Use expert knowledge instead of data: generating hints for hour of code exercises. L@S Milo Buwalda, Johan Jeuring, Nico Naus
2017	—	`conf`	"I know it when I see it" Perceptions of Code Quality: ITiCSE '17 Working Group Report. ITiCSE-WGR 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
2017	B	`conf`	"I know it when I see it": Perceptions of Code Quality. ITiCSE 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
2017	A	`conf`	An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. AIED Bastiaan Heeren, Johan Jeuring
2017	—	`conf`	An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. Koli Calling Hugo Arends, Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2017	J	`jnl`	Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. Int. J. Artif. Intell. Educ. Alex Gerdes, Bastiaan Heeren, Johan Jeuring, L. Thomas van Binsbergen
2017	B	`conf`	Code Quality Issues in Student Programs. ITiCSE Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2017	—	`conf`	Designing and comparing two scratch-based teaching approaches for students aged 10-12 years. Koli Calling Nienke van Es, Johan Jeuring
2017	A	`conf`	Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. SIGCSE Josje Lodder, Bastiaan Heeren, Johan Jeuring
2017	J	`jnl`	Guest editorial. Int. J. Serious Games Rosa Maria Bottino, Johan Jeuring
2016	J	`jnl`	A Domain Reasoner for Propositional Logic. J. Univers. Comput. Sci. Josje Lodder, Bastiaan Heeren, Johan Jeuring
2016	—	`conf`	Building a Generic Feedback System for Rule-Based Problems. TFP Nico Naus, Johan Jeuring
2016	—	`ed.`	Games and Learning Alliance - 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings GALA Rosa Bottino, Johan Jeuring, Remco C. Veltkamp
2016	—	`ed.`	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. TFPIE Johan Jeuring, Jay McCarthy
2016	B	`conf`	Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. ITiCSE Hieke Keuning, Johan Jeuring, Bastiaan Heeren
2015	J	`jnl`	A pilot study of the use of LogEx, lessons learned. CoRR Josje Lodder, Bastiaan Heeren, Johan Jeuring
2015	B	`conf`	Communicate! - A Serious Game for Communication Skills -. EC-TEL 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
2015	—	`conf`	The Effect of Simulations and Games on Learning Objectives in Tertiary Education: A Systematic Review. GALA Stephanie de Smale, Tom Overmans, Johan Jeuring, Liesbeth van de Grint
2015	—	`conf`	Type Class Instances for Type-Level Lambdas in Haskell. TFP Thijs Alkemade, Johan Jeuring
2015	J	`jnl`	Type-changing rewriting and semantics-preserving transformation. Sci. Comput. Program. Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
2014	—	`conf`	Evaluating Haskell expressions in a tutoring environment. TFPIE Tim Olmer, Bastiaan Heeren, Johan Jeuring
2014	J	`jnl`	Feedback services for stepwise exercises. Sci. Comput. Program. Bastiaan Heeren, Johan Jeuring
2014	J	`jnl`	Inductive representations of RDF graphs. Sci. Comput. Program. José Emilio Labra Gayo, Johan Jeuring, José María Álvarez Rodríguez
2014	—	`conf`	Model solutions and properties for diagnosing student programs in Ask-Elle. CSERC Johan Jeuring, L. Thomas van Binsbergen, Alex Gerdes, Bastiaan Heeren
2014	A	`ed.`	Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014 ICFP Johan Jeuring, Manuel M. T. Chakravarty
2014	—	`conf`	Strategy-based feedback in a programming tutor. CSERC Hieke Keuning, Bastiaan Heeren, Johan Jeuring
2014	C	`conf`	Type-changing rewriting and semantics-preserving transformation. PEPM Sean Leather, Johan Jeuring, Andres Löh, Bram Schuur
2014	J	`jnl`	University students' achievement goals and help-seeking strategies in an intelligent tutoring system. Comput. Educ. Bram E. Vaessen, Frans J. Prins, Johan Jeuring
2013	—	`conf`	A DSL for describing the artificial intelligence in real-time video games. GAS@ICSE Tom Hastjarjanto, Johan Jeuring, Sean Leather
2013	—	`conf`	Finding Palindromes: Variants and Algorithms. The Beauty of Functional Code Johan Jeuring
2013	—	`conf`	Inductive Triple Graphs: A Purely Functional Approach to Represent RDF. GKR José Emilio Labra Gayo, Johan Jeuring, José María Álvarez Rodríguez
2013	—	`conf`	The 5/10 Method: A Method for Designing Educational Games. GALA Johan Jeuring, Rick van Rooij, Nicolas Pronost
2013	—	`conf`	Towards automatic generation of domain-specific mathematical input support. CICM Workshops Eric Andres, Bastiaan Heeren, Johan Jeuring
2013	—	`conf`	Usage of generic programming on hackage: experience report. WGP@ICFP Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather
2012	B	`conf`	An interactive functional programming tutor. ITiCSE Alex Gerdes, Johan Jeuring, Bastiaan Heeren
2012	B	`conf`	Ask-Elle: A Haskell Tutor - Demonstration. EC-TEL Johan Jeuring, Alex Gerdes, Bastiaan Heeren
2012	—	`conf`	Generic conversions of abstract syntax representations. WGP@ICFP Steven Keuchel, Johan Jeuring
2012	—	`ed.`	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 AISC/MKM/Calculemus Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
2012	A	`conf`	Probability estimation and a competence model for rule based e-tutoring systems. LAK Diederik M. Roijers, Johan Jeuring, Ad Feelders
2012	B	`conf`	Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. EC-TEL Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2012	C	`conf`	Testing type class laws. Haskell Johan Jeuring, Patrik Jansson, Cláudio Amaral
2011	—	`conf`	A Programming Tutor for Haskell. CEFP Johan Jeuring, Alex Gerdes, Bastiaan Heeren
2011	—	`conf`	Generic programming for indexed datatypes. WGP@ICFP José Pedro Magalhães, Johan Jeuring
2011	—	`conf`	Interleaving Strategies. Calculemus/MKM Bastiaan Heeren, Johan Jeuring
2010	C	`conf`	A generic deriving mechanism for Haskell. Haskell José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh
2010	J	`jnl`	A lightweight approach to datatype-generic rewriting. J. Funct. Program. Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
2010	J	`jnl`	Adapting Mathematical Domain Reasoners CoRR Bastiaan Heeren, Johan Jeuring
2010	—	`conf`	Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus Bastiaan Heeren, Johan Jeuring
2010	—	`conf`	Generic selections of subexpressions. ICFP-WGP Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring
2010	C	`conf`	Optimizing generics is easy! PEPM José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
2010	—	`conf`	Properties of Exercise Strategies IWS Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2010	J	`jnl`	Specifying Rewrite Strategies for Interactive Exercises. Math. Comput. Sci. Bastiaan Heeren, Johan Jeuring, Alex Gerdes
2010	A	`conf`	Using strategies for assessment of programming exercises. SIGCSE Alex Gerdes, Johan Jeuring, Bastiaan Heeren
2009	—	`conf`	Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM Bastiaan Heeren, Johan Jeuring
2009	—	`conf`	Constructing Strategies for Programming. CSEDU (1) Alex Gerdes, Bastiaan Heeren, Johan Jeuring
2009	—	`conf`	Enumerating Well-Typed Terms Generically. AAIP Alexey Rodriguez Yakushev, Johan Jeuring
2009	—	`conf`	Generic Programming for Domain Reasoners. Trends in Functional Programming Johan Jeuring, José Pedro Magalhães, Bastiaan Heeren
2009	A	`conf`	Generic programming with fixed points for mutually recursive datatypes. ICFP Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
2009	—	`conf`	Pull-Ups, Push-Downs, and Passing It Around - Exercises in Functional Incrementalization. IFL Sean Leather, Andres Löh, Johan Jeuring
2008	—	`conf`	A lightweight approach to datatype-generic rewriting. ICFP-WGP Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
2008	C	`conf`	Comparing libraries for generic programming in haskell. Haskell Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
2008	—	`conf`	Libraries for Generic Programming in Haskell. Advanced Functional Programming Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev
2008	—	`conf`	Recognizing Strategies. WRS@RTA Bastiaan Heeren, Johan Jeuring
2008	A	`conf`	Report on the tenth ICFP programming contest. ICFP Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
2008	—	`conf`	Specifying Strategies for Exercises. AISC/MKM/Calculemus Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes
2007	J	`jnl`	Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Sci. Comput. Program. Frank Atanassow, Johan Jeuring
2007	—	`ed.`	Datatype-Generic Programming - International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures SSDGP Roland Carl Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring
2006	—	`conf`	Comparing Approaches to Generic Programming in Haskell. SSDGP Ralf Hinze, Johan Jeuring, Andres Löh
2006	—	`conf`	Generating generic functions. ICFP-WGP Johan Jeuring, Alexey Rodriguez, Gideon Smeding
2006	—	`conf`	Generic Programming for Software Evolution. EVOL Johan Jeuring, Rinus Plasmeijer
2006	B	`conf`	Generic Views on Data Types. MPC Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
2006	—	`conf`	Testing Properties of Generic Functions. IFL Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser
2006	Misc	`conf`	Typed Contracts for Functional Programming. FLOPS Ralf Hinze, Johan Jeuring, Andres Löh
2005	A	`conf`	Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. AIED Harrie Passier, Johan Jeuring
2004	B	`conf`	Inferring Type Isomorphisms Generically. MPC Frank Atanassow, Johan Jeuring
2004	J	`jnl`	Type-indexed data types. Sci. Comput. Program. Ralf Hinze, Johan Jeuring, Andres Löh
2004	C	`conf`	UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL Frank Atanassow, Dave Clarke, Johan Jeuring
2003	—	`ed.`	Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures Advanced Functional Programming Johan Jeuring, Simon L. Peyton Jones
2003	A	`conf`	Dependency-style generic Haskell. ICFP Andres Löh, Dave Clarke, Johan Jeuring
2003	—	`conf`	Generic Haskell: Applications. Generic Programming Ralf Hinze, Johan Jeuring
2003	—	`conf`	Generic Haskell: Practice and Theory. Generic Programming Ralf Hinze, Johan Jeuring
2003	—	`ed.`	Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Generic Programming Jeremy Gibbons, Johan Jeuring
2003	C	`ed.`	Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2003, Uppsala, Sweden, August 28, 2003 Haskell Johan Jeuring
2002	J	`jnl`	Polytypic data conversion programs. Sci. Comput. Program. Patrik Jansson, Johan Jeuring
2002	B	`conf`	Type-Indexed Data Types. MPC Ralf Hinze, Johan Jeuring, Andres Löh
2001	J	`jnl`	Weaving a web. J. Funct. Program. Ralf Hinze, Johan Jeuring
1999	A	`conf`	Polytypic Compact Printing and Parsing. ESOP Patrik Jansson, Johan Jeuring
1998	—	`conf`	Generic Programming: An Introduction. Advanced Functional Programming Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens
1998	B	`ed.`	Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings MPC Johan Jeuring
1998	J	`jnl`	Polytypic Unification. J. Funct. Program. Patrik Jansson, Johan Jeuring
1997	A*	`conf`	Polyp - A Polytypic Programming Language. POPL Patrik Jansson, Johan Jeuring
1996	—	`conf`	Polytypic Programming. Advanced Functional Programming Johan Jeuring, Patrik Jansson
1995	—	`ed.`	Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text Advanced Functional Programming Johan Jeuring, Erik Meijer
1995	—	`conf`	Constructing Functional Programs for Grammar Analysis Problems. FPCA Johan Jeuring, S. Doaitse Swierstra
1995	—	`conf`	Merging Monads and Folds for Functional Programming. Advanced Functional Programming Erik Meijer, Johan Jeuring
1995	—	`conf`	Polytypic Pattern Matching. FPCA Johan Jeuring
1994	A	`conf`	Bottom-up Grammar Analysis - A Functional Formulation. ESOP Johan Jeuring, S. Doaitse Swierstra
1994	J	`jnl`	The Derivation of On-Line Algorithms, with an Application To Finding Palindromes. Algorithmica Johan Jeuring
1990	—	`conf`	Algorithms for Theorems. Programming Concepts and Methods Johan Jeuring