1. Kirsti M Ala-Mutka. 2005. A Survey of Automated Assessment Approaches for Programming Assignments.Computer Science Education15, 2 (2005), 83--102.
2. Koen Claessen and John Hughes. 2000. QuickCheck: A Light-weight Tool for Random Testing of Haskell Programs. InProceedings of ICFP 2000: International Conference on Functional Programming. ACM, 268--279.
3. Alex Gerdes, Johan Jeuring, and Bastiaan Heeren. 2010. Using strategies for assessment of programming exercises. InProceedings of SIGCSE 2010: the 41st ACM technical symposium on Computer science education, Gary Lewandowski, Steven A. Wolfman, Thomas J. Cortina, and Ellen Lowenfeld Walker (Eds.). ACM, 441--445.
4. Alex Gerdes, Johan Jeuring, and Bastiaan Heeren. 2012. An Interactive Functional Programming Tutor. InProceedings of ITICSE 2012: the 17th Annual Conference on Innovation and Technology in Computer Science Education, T. Lapidot, J. Gal-Ezer, M. E. Caspersen, and O. Hazzan (Eds.). ACM, 250--255.
5. Bastiaan Heeren, Daan Leijen, and Arjan van IJzendoorn. 2003. Helium, for Learning Haskell. InProceedings of Haskell 2003: the ACM SIGPLAN Workshop on Haskell. ACM, 62--71.