Alex Gerdes
Alex Gerdes
Ph.D. candidate, Open Universiteit Nederland
Verified email at uu.nl - Homepage
Title
Cited by
Cited by
Year
Comparing libraries for generic programming in Haskell
A Rodriguez, J Jeuring, P Jansson, A Gerdes, O Kiselyov, BCS Oliveira
ACM Sigplan Notices 44 (2), 111-122, 2008
922008
Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback
A Gerdes, B Heeren, J Jeuring, LT van Binsbergen
International Journal of Artificial Intelligence in Education 27 (1), 65-100, 2017
642017
Specifying rewrite strategies for interactive exercises
B Heeren, J Jeuring, A Gerdes
Mathematics in computer science 3 (3), 349-370, 2010
572010
An interactive functional programming tutor
A Gerdes, J Jeuring, B Heeren
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
502012
Specifying strategies for exercises
B Heeren, J Jeuring, A Van Leeuwen, A Gerdes
International Conference on Intelligent Computer Mathematics, 430-445, 2008
362008
Using strategies for assessment of programming exercises
A Gerdes, JT Jeuring, BJ Heeren
Proceedings of the 41st ACM technical symposium on Computer science …, 2010
302010
Feedback services for exercise assistants
A Gerdes, B Heeren, J Jeuring, S Stuurman
Technical Report UU-CS-2008-018, Utrecht University, 2008
242008
A programming tutor for Haskell
J Jeuring, A Gerdes, B Heeren
Central European Functional Programming School, 1-45, 2011
162011
Teachers and students in charge
A Gerdes, B Heeren, J Jeuring
European Conference on Technology Enhanced Learning, 383-388, 2012
132012
Model solutions and properties for diagnosing student programs in Ask-Elle
J Jeuring, LT van Binsbergen, A Gerdes, B Heeren
Proceedings of the Computer Science Education Research Conference, 31-40, 2014
122014
Ask-Elle: A Haskell Tutor
J Jeuring, A Gerdes, B Heeren
European Conference on Technology Enhanced Learning, 453-458, 2012
122012
Constructing Strategies for Programming.
A Gerdes, B Heeren, J Jeuring
CSEDU (1), 65-72, 2009
122009
Properties of exercise strategies
A Gerdes, B Heeren, J Jeuring
arXiv preprint arXiv:1012.5561, 2010
92010
Linking unit tests and properties
A Gerdes, J Hughes, N Smallbone, M Wang
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 19-26, 2015
72015
Ask-Elle: a Haskell Tutor
A Gerdes
PhD thesis, Universiteit Utrecht, 2012
72012
Attribute grammars in Erlang
U Norell, A Gerdes
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 1-12, 2015
52015
Don't Judge Software by Its (Code) Coverage
R Johansson, H Eriksson, H Svensson, K Östberg, T Arts, A Gerdes, ...
32013
Requirements on automatically generated random test cases
T Arts, A Gerdes, M Kronqvist
2013 Federated Conference on Computer Science and Information Systems, 1347-1354, 2013
32013
Comparing Datatype Generic Libraries in Haskell
BCSOAR Johan, JPJAG Oleg
Journal of Functional Programming, 2009
32009
Understanding formal specifications through good examples
A Gerdes, J Hughes, N Smallbone, S Hanenberg, S Ivarsson, M Wang
Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang, 13-24, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20