2011
Johan Jeuring, Alex Gerdes, and Bastiaan Heeren. A programming tutor for Haskell. To appear in Proceedings of CEFP 2011: Central European School on Functional Programming, Budapest, June 2011.
Alex Gerdes, Bastiaan Heeren, and Johan Jeuring. Properties of Exercise Strategies. In Hélène Kirchner and César Muñoz, editors, Proceedings of IWS 2010: 1st International Workshop on Strategies in Rewriting, Proving, and Programming, Electronic Proceedings in Theoretical Computer Science, 2011. An extended version will appear as Technical report Utrecht University UU-CS-2010-028, 2011.
2010
Alex Gerdes, Johan Jeuring and Bastiaan Heeren. Using Strategies for Assessment of Programming Exercises. In Proceedings of the 41st ACM technical symposium on Computer science education, SIGCSE 2010, pages 441 – 445, ACM, 2010. Also available as Technical report Utrecht University UU-CS-2009-031, 2009.
Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Specifying rewrite strategies for interactive exercises. In Mathematics in Computer Science 3(3), 349-370, 2010. An earlier version appeared as Technical report Utrecht University UU-CS-2009-003, 2009.
2009
Alex Gerdes, Johan Jeuring and Bastiaan Heeren. Research poster: Strategies for Exercise Assistants. In Scientific ICT-Research Event Netherlands (SIREN) 2009, Twente University.
Alex Gerdes, Bastiaan Heeren and Johan Jeuring. Constructing Strategies for Programming. In José Cordeiro, Boris Shishkov, Alexander Verbraeck and Markus Helfert, editors, Proceedings of the First International Conference on Computer Supported Education (CSEDU), pages 65-72. INSTICC Press, 2009. Also available as Technical report Utrecht University UU-CS-2008-049, 2008.
Bastiaan Heeren, Johan Jeuring, and Alex Gerdes. Strategies for exercises. Technical report Utrecht University UU-CS-2009-003, 2009. This report is superseded by the Mathematics in Computer Science paper.
2008
Alex Gerdes, Bastiaan Heeren, Johan Jeuring, and Sylvia Stuurman. Feedback Services for Exercise Assistants. In D. Remenyi, editor, The Proceedings of the 7th European Conference on e-Learning, pages 402-410. Academic Publishing, 2008. Also available as a Technical Report of the Utrecht University Technical report Utrecht University UU-CS-2008-018
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. D. S. Oliveira. Comparing Libraries for Generic Programming in Haskell. In the proceedings of the ACM SIGPLAN Haskell Symposium 2008, Victoria, BC, Canada, September 25, 2008. Also available as Technical Report of Utrecht University Technical report Utrecht University UU-CS-2008-010
Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, and Alex Gerdes. Specifying strategies for exercises. In Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk, editors, AISC/Calculemus/MKM 2008, LNAI 5144, pages 430-445, Springer-Verlag 2008. An extended version is available as Technical report Utrecht University UU-CS-2008-001
2007
Alex Gerdes. Comparing Generic Programming Libraries. Master’s thesis, Open University/Utrecht University, 2007
BibTeX: alexgerdes.bib