PROUST: Knowledge-Based Program Understanding
IEEE Transactions on Software Engineering
QuickCheck: a lightweight tool for random testing of Haskell programs
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Automated feedback on programs means students need less help from teachers
Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education
WHAT: Web-Based Haskell Adaptive Tutor
AIMSA '02 Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications
Transformation-Based Diagnosis of Student Programs for Programming Tutoring Systems
IEEE Transactions on Software Engineering
Developing intelligent programming tutors for novice programmers
ACM SIGCSE Bulletin
Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Computer Science Education Research
Computer Science Education Research
Guided programming and automated error analysis in an intelligent Prolog tutor
International Journal of Human-Computer Studies
The effect of using problem-solving software tutors on the self-confidence of female students
Proceedings of the 39th SIGCSE technical symposium on Computer science education
Communications of the ACM - Scratch Programming for All
Using strategies for assessment of programming exercises
Proceedings of the 41st ACM technical symposium on Computer science education
A programming tutor for haskell
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Teachers and students in charge: using annotated model solutions in a functional programming tutor
EC-TEL'12 Proceedings of the 7th European conference on Technology Enhanced Learning
| Hi-index | 0.00 |
We introduce an interactive tutor that supports the stepwise development of simple functional programs. Using this tutor, students receive feedback about whether or not they are on the right track, can ask for a hint when they are stuck, and get suggestions about how to refactor their program. Our tutor generates this semantically rich feedback from model solutions, using advanced concepts from software technology. We show how a teacher can add an exercise to the tutor, and fine-tune feedback. We report on an experiment in which we used our tutor.