Helium, for learning Haskell. - Bastiaan Heeren; Daan Leijen; Arjan van IJzendoorn (Haskell, 2003)

Scripting the type inference process. - Bastiaan Heeren; Jurriaan Hage; S. Doaitse Swierstra (ICFP, 2003)

Type Class Directives. - Bastiaan Heeren; Jurriaan Hage (PADL, 2005)

Top quality type error Messages. - Bastiaan Heeren (2005)

Heuristics for Type Error Discovery and Recovery. - Jurriaan Hage; Bastiaan Heeren (IFL, 2006)

Specifying Strategies for Exercises. - Bastiaan Heeren; Johan Jeuring; Arthur van Leeuwen; Alex Gerdes (AISC/MKM/Calculemus, 2008)

Report on the tenth ICFP programming contest. - Eelco Dolstra; Jurriaan Hage; Bastiaan Heeren; Stefan Holdermans; Johan Jeuring; Andres Löh; Clara Löh; Arie Middelkoop; Alexey Rodriguez; John van Schie (ICFP, 2008)

A lightweight approach to datatype-generic rewriting. - Thomas van Noort; Alexey Rodriguez; Stefan Holdermans; Johan Jeuring; Bastiaan Heeren (ICFP-WGP, 2008)

Strategies for Solving Constraints in Type and Effect Systems. - Jurriaan Hage; Bastiaan Heeren (VODCA@FOSAD, 2008)

Recognizing Strategies. - Bastiaan Heeren; Johan Jeuring (WRS@RTA, 2008)

Constructing Strategies for Programming. - Alex Gerdes; Bastiaan Heeren; Johan Jeuring (CSEDU (1), 2009)

Canonical Forms in Interactive Exercise Assistants. - Bastiaan Heeren; Johan Jeuring (Calculemus/MKM, 2009)

Generic Programming for Domain Reasoners. - Johan Jeuring; José Pedro Magalhães; Bastiaan Heeren (Trends in Functional Programming, 2009)

Adapting Mathematical Domain Reasoners. - Bastiaan Heeren; Johan Jeuring (AISC/MKM/Calculemus, 2010)

Using strategies for assessment of programming exercises. - Alex Gerdes; Johan Jeuring; Bastiaan Heeren (SIGCSE, 2010)

Properties of Exercise Strategies - Alex Gerdes; Bastiaan Heeren; Johan Jeuring (IWS, 2010)

A lightweight approach to datatype-generic rewriting. - Thomas van Noort; Alexey Rodriguez Yakushev; Stefan Holdermans; Johan Jeuring; Bastiaan Heeren; José Pedro Magalhães (J. Funct. Program., 2010)

Specifying Rewrite Strategies for Interactive Exercises. - Bastiaan Heeren; Johan Jeuring; Alex Gerdes (Math. Comput. Sci., 2010)

A Programming Tutor for Haskell. - Johan Jeuring; Alex Gerdes; Bastiaan Heeren (CEFP, 2011)

Interleaving Strategies. - Bastiaan Heeren; Johan Jeuring (Calculemus/MKM, 2011)

A Teaching Tool for Proving Equivalences between Logical Formulae. - Josje Lodder; Bastiaan Heeren (TICTTL, 2011)

A new method for sustainable development of open educational resources. - Sylvia Stuurman; Marko C. J. D. van Eekelen; Bastiaan Heeren (CSERC, 2012)

Teachers and Students in Charge - Using Annotated Model Solutions in a Functional Programming Tutor. - Alex Gerdes; Bastiaan Heeren; Johan Jeuring (EC-TEL, 2012)

Ask-Elle: A Haskell Tutor - Demonstration. - Johan Jeuring; Alex Gerdes; Bastiaan Heeren (EC-TEL, 2012)

An interactive functional programming tutor. - Alex Gerdes; Johan Jeuring; Bastiaan Heeren (ITiCSE, 2012)

Towards automatic generation of domain-specific mathematical input support. - Eric Andres; Bastiaan Heeren; Johan Jeuring (CICM Workshops, 2013)

Model solutions and properties for diagnosing student programs in Ask-Elle. - Johan Jeuring; L. Thomas van Binsbergen; Alex Gerdes; Bastiaan Heeren (CSERC, 2014)

Strategy-based feedback in a programming tutor. - Hieke Keuning; Bastiaan Heeren; Johan Jeuring (CSERC, 2014)

Evaluating Haskell expressions in a tutoring environment. - Tim Olmer; Bastiaan Heeren; Johan Jeuring (TFPIE, 2014)

Feedback services for stepwise exercises. - Bastiaan Heeren; Johan Jeuring (Sci. Comput. Program., 2014)

Communicate! - A Serious Game for Communication Skills -. - 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 (EC-TEL, 2015)

A pilot study of the use of LogEx, lessons learned. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (CoRR, 2015)

Towards a Systematic Review of Automated Feedback Generation for Programming Exercises. - Hieke Keuning; Johan Jeuring; Bastiaan Heeren (ITiCSE, 2016)

A Domain Reasoner for Propositional Logic. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (J. Univers. Comput. Sci., 2016)

An Extensible Domain-Specific Language for Describing Problem-Solving Procedures. - Bastiaan Heeren; Johan Jeuring (AIED, 2017)

Code Quality Issues in Student Programs. - Hieke Keuning; Bastiaan Heeren; Johan Jeuring (ITiCSE, 2017)

An intelligent tutor to learn the evaluation of microcontroller I/O programming expressions. - Hugo Arends; Hieke Keuning; Bastiaan Heeren; Johan Jeuring (Koli Calling, 2017)

Generating Hints and Feedback for Hilbert-style Axiomatic Proofs. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (SIGCSE, 2017)

Ask-Elle: an Adaptable Programming Tutor for Haskell Giving Automated Feedback. - Alex Gerdes; Bastiaan Heeren; Johan Jeuring; L. Thomas van Binsbergen (Int. J. Artif. Intell. Educ., 2017)

Fine-Grained Cognitive Assessment Based on Free-Form Input for Math Story Problems. - 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 (EC-TEL, 2018)

Automated Feedback on the Structure of Hypothesis Tests. - Sietske Tacoma; Bastiaan Heeren; Johan Jeuring; Paul Drijvers (AIED (2), 2019)

The Diagnosing Behaviour of Intelligent Tutoring Systems. - Renate van der Bent; Johan Jeuring; Bastiaan Heeren (EC-TEL, 2019)

How Teachers Would Help Students to Improve Their Code. - Hieke Keuning; Bastiaan Heeren; Johan Jeuring (ITiCSE, 2019)

Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (ThEdu@CADE, 2019)

A comparison of elaborated and restricted feedback in LogEx, a tool for teaching rewriting logical formulae. - Josje Lodder; Bastiaan Heeren; Johan Jeuring (J. Comput. Assist. Learn., 2019)

A Systematic Literature Review of Automated Feedback Generation for Programming Exercises. - Hieke Keuning; Johan Jeuring; Bastiaan Heeren (ACM Trans. Comput. Educ., 2019)

Assessing the quality of evolving Haskell systems by measuring structural inequality. - Sander Kamps; Bastiaan Heeren; Johan Jeuring (Haskell@ICFP, 2020)

Student Refactoring Behaviour in a Programming Tutor. - Hieke Keuning; Bastiaan Heeren; Johan Jeuring (Koli Calling, 2020)

Intelligent Feedback on Hypothesis Testing. - Sietske Tacoma; Bastiaan Heeren; Johan Jeuring; Paul Drijvers (Int. J. Artif. Intell. Educ., 2020)

Model-Driven Synthesis for Programming Tutors. - Niek Mulleners; Johan Jeuring; Bastiaan Heeren (CoRR, 2020)

SHACL-Based Ontology Design Patterns for Evidence-Based Decision-Making. - Mario Verhaeg; Lloyd Rutledge; Bastiaan Heeren (WOP (Book), 2021)

A Tutoring System to Learn Code Refactoring. - Hieke Keuning; Bastiaan Heeren; Johan Jeuring (SIGCSE, 2021)

Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor. - Josje Lodder; Bastiaan Heeren; Johan Jeuring; Wendy Neijenhuis (Int. J. Artif. Intell. Educ., 2021)

A Systematic Mapping Study of Code Quality in Education. - Hieke Keuning; Johan Jeuring; Bastiaan Heeren (ITiCSE (1), 2023)

Program Synthesis Using Example Propagation. - Niek Mulleners; Johan Jeuring; Bastiaan Heeren (PADL, 2023)

A Systematic Mapping Study of Code Quality in Education - with Complete Bibliography. - Hieke Keuning; Johan Jeuring; Bastiaan Heeren (CoRR, 2023)

Parsons Problems for Equivalence Proofs in Logic. - Marten van den Berg; Bastiaan Heeren; Ebrahim Rahimi (Koli Calling, 2024)

Example-Based Reasoning about the Realizability of Polymorphic Programs. - Niek Mulleners; Johan Jeuring; Bastiaan Heeren (Proc. ACM Program. Lang., 2024)

Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback. - Gerben van der Hoek; Bastiaan Heeren; Rogier Bos; Paul Drijvers; Johan Jeuring (CoRR, 2025)