7 citations · 18 across the 8 of their papers we have counts for
3 papers · 1 filter
A pilot study of the use of LogEx, lessons learned
Josje Lodder, Bastiaan Heeren, Johan Jeuring
LogEx is a learning environment that supports students in rewriting propositional logical formulae, using standard equivalences. We organized a pilot study to prepare a large scale…
Evaluating Haskell expressions in a tutoring environment
Tim Olmer, Bastiaan Heeren, Johan Jeuring
A number of introductory textbooks for Haskell use calculations right from the start to give the reader insight into the evaluation of expressions and the behavior of functional pr…
Properties of Exercise Strategies
Alex Gerdes, Bastiaan Heeren, Johan Jeuring
Mathematical learning environments give domain-specific and immediate feedback to students solving a mathematical exercise. Based on a language for specifying strategies, we have d…