An interactive functional programming tutor

Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE

Volumn , Issue , 2012, Pages 250-255

  Gerdes, Alex ^a   Jeuring, Johan ^b   Heeren, Bastiaan ^a  

^a OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

functional programmiing; haskell; tutoring

Indexed keywords

FUNCTIONAL PROGRAMMIING; FUNCTIONAL PROGRAMS; HASKELL; MODEL SOLUTION; SOFTWARE TECHNOLOGY; TUTORING;

ENGINEERING RESEARCH; SOFTWARE ENGINEERING;

INNOVATION;

EID: 84864701555     PISSN: 1942647X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2325296.2325356     Document Type: Conference Paper

References (24)

1. J. R. Anderson, F. G. Conrad, and A. T. Corbett. Skill acquisition and the LISP tutor. Cognitive Science, 13:467-505, 1986.
2. J. R. Anderson, A. T. Corbett, K. R. Koedinger, and R. Pelletier. Cognitive tutors: lessons learned. The Journal of the learning sciences, 4(2):167-207, 1995.
3. K. Claessen and J. Hughes. QuickCheck: A lightweight tool for random testing of Haskell programs. In Proceedings of ICFP 2000: International Conference on Functional Programming, 2000.
4. M. J. Conway. Alice: Easy-To-Learn 3D Scripting For Novices. PhD thesis, University of Virginia, 1997.
5. A. T. Corbett, J. R. Anderson, and E. J. Patterson. Problem compilation and tutoring exibility in the Lisp tutor. In Proceedings ITS'88: Intelligent Tutoring Systems, pages 423-429, 1988.
6. S. Fincher and M. Petre, editors. Computer Science Education Research. Routledge Falmer, 2004.
7. A. Gerdes, J. Jeuring, and B. Heeren. Using strategies for assessment of programming exercises. In SIGCSE, pages 441-445, 2010.
8. M. Guzdial. Programming environments for novices. In S. Fincher and M. Petre, editors, Computer Science Education Research. Routledge Falmer, 2004.
9. B. Heeren, J. Jeuring, and A. Gerdes. Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science, 3(3):349-370, 2010.
10. B. Heeren, D. Leijen, and A. v. IJzendoorn. Helium, for learning Haskell. In Haskell 2003: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, pages 62-71. ACM, 2003.
11. J. Hong. Guided programming and automated error analysis in an intelligent Prolog tutor. International Journal on Human-Computer Studies, 61(4):505-534, 2004.
12. J. Jeuring, A. Gerdes, and B. Heeren. A programming tutor for Haskell. In Proceedings of CEFP 2011: Lecture Notes of the Central European School on Functional Programming, LNCS. Springer, 2011.
13. W. L. Johnson and E. Soloway. Proust: Knowledge-based program understanding. IEEE Transactions on Software Engineering, 11(3):267-275, 1985.
14. A. N. Kumar. The effect of using problem-solving software tutors on the self-confidence of female students. In SIGCSE 2008: Proceedings of the 39th SIGCSE technical symposium on Computer science education, pages 523-527. ACM, 2008.
15. N. López, M. Núñez, I. Rodríguez, and F. Rubio. WHAT: Web-based Haskell adaptive tutor. In AIMSA 2002: Proceedings of the 10th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, pages 71-80. Springer-Verlag, 2002.
16. P. Miller, J. Pane, G. Meter, and S. Vorthmann. Evolution of Novice Programming Environments: The Structure Editors of Carnegie Mellon University. Interactive Learning Environments, 4(2):140-158, 1994.
17. E. Mory. Feedback research revisited. In D. Jonassen, editor, Handbook of research for educational communications and technology, 2003.
18. E. Odekirk-Hash and J. L. Zachary. Automated feedback on programs means students need less help from teachers. In SIGCSE 2001: Proceedings of the 32nd SIGCSE technical symposium on Computer Science Education, pages 55-59. ACM, 2001.
19. S. Peyton Jones et al. Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press, 2003. A special issue of the Journal of Functional Programming.
20. N. Pillay. Developing intelligent programming tutors for novice programmers. SIGCSE Bull., 35(2):78-82, 2003.
21. M. Resnick et al. Scratch: programming for all. Commun. ACM, 52:60-67, Nov. 2009.
22. E. Soloway. From problems to programs via plans: the content and structure of knowledge for introductory LISP programming. Journal of Educational Computing Research, 1(2):157-172, 1985.
23. E. Sykes and F. Franek. A prototype for an intelligent tutoring system for students learning to program in Java. Advanced Technology for Learning, 1(1), 2004.
24. S. Xu and Y. S. Chee. Transformation-based diagnosis of student programs for programming tutoring systems. IEEE Transansactions on Software Engineering, 29(4):360-384, 2003.