3 papers
cs.HC2025
Chapter 11 Students' interaction with and appreciation of automated informative tutoring feedback
Gerben van der Hoek, Bastiaan Heeren, Rogier Bos +2
Computer aided formative assessment can be used to enhance a learning process, for instance by providing feedback. There are many design choices for delivering feedback, that lead…
cs.SE2024
Investigating Student Reasoning in Method-Level Code Refactoring: A Think-Aloud Study
Eduardo Carneiro Oliveira, Hieke Keuning, Johan Jeuring
Producing code of good quality is an essential skill in software development. Code quality is an aspect of software quality that concerns the directly observable properties of code…
cs.PL2024
Example-Based Reasoning about the Realizability of Polymorphic Programs
Niek Mulleners, Johan Jeuring, Bastiaan Heeren
Parametricity states that polymorphic functions behave the same regardless of how they are instantiated. When developing polymorphic programs, Wadler's free theorems can serve as f…