|
9
|
Interactive mathematical documents on the web
– A. M. Cohen, H. Cuypers, E. Reinaldo Barreiro, H. Sterk
- 2003
|
|
52
|
Scrap your boilerplate: a practical approach to generic programming
– Ralf Lämmel, Simon Peyton Jones
- 2003
|
|
6
|
Algebra en applets, leren en onderwijzen (algebra and applets, learning and teaching
– P Boon, P Drijvers
- 2005
|
|
11
|
A Lightweight Approach to Datatype-Generic Rewriting
– Thomas Van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
- 2008
|
|
15
|
Authoring Interactive Exercises in ActiveMath
– G Goguadze, J Tsigler
- 2007
|
|
51
|
et al. The Haskell 98 language and libraries: The revised report
– Simon Peyton Jones
- 2003
|
|
5
|
Interactivity of Exercises
– G Goguadze, González Palomo, A, E Melis
- 2005
|
|
8
|
Feedback Services for Exercise Assistants
– Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Sylvia Stuurman, Alex Gerdes, Bastiaan Heeren, Johan Jeuring, Sylvia Stuurman
- 2008
|
|
7
|
Recognizing Strategies
– Bastiaan Heeren, Johan Jeuring, Bastiaan Heeren, Johan Jeuring
- 2008
|
|
52
|
Deterministic, Error-Correcting Combinator Parsers
– S. Doaitse Swierstra, Luc Duponcheel
- 1996
|
|
2
|
Improving automated feedback – a generic rule-feedback generator
– E Bouwers
- 2007
|
|
7
|
Online Diagnose in intelligenten mathematischen Lehr-LernSystemen (in German
– Martin Hennecke
- 1999
|
|
9
|
Arjan van IJzendoorn. Helium, for learning Haskell
– Bastiaan Heeren, Daan Leijen
- 2003
|
|
8
|
Guided programming and automated error analysis in an intelligent Prolog tutor
– Jun Hong
|
|
3
|
Using strategies for assessment of programming exercises
– Alex Gerdes, Johan Jeuring, Bastiaan Heeren
|
|
20
|
Design principles of MathPert: Software to support education in algebra and calculus
– M J Beeson
- 1998
|
|
7
|
Supporting Tutorial Feedback to Student Help Requests and Errors in Symbolic Differentiation
– Claus Zinn
- 2006
|
|
2
|
To appear
– E Hesselink
- 2009
|
|
3
|
Using IDEAS in teaching logic, lessons learned
– J Lodder, H Passier, S Stuurman
- 2008
|
