Follow
Alex Gerdes
Alex Gerdes
Senior Lecturer, Gothenburg University / Chalmers
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
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, 65-100, 2017
1292017
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
1002008
An interactive functional programming tutor
A Gerdes, J Jeuring, B Heeren
Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012
602012
Specifying rewrite strategies for interactive exercises
B Heeren, J Jeuring, A Gerdes
Mathematics in computer science 3, 349-370, 2010
572010
Using strategies for assessment of programming exercises
A Gerdes, JT Jeuring, BJ Heeren
Proceedings of the 41st ACM technical symposium on Computer science …, 2010
402010
Specifying strategies for exercises
B Heeren, J Jeuring, A Van Leeuwen, A Gerdes
Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008
372008
Feedback services for exercise assistants
A Gerdes, B Heeren, J Jeuring, S Stuurman
Technical Report UU-CS-2008-018, Utrecht University, 2008
232008
A programming tutor for Haskell
J Jeuring, A Gerdes, B Heeren
Central European Functional Programming School: 4th Summer School, CEFP 2011 …, 2012
192012
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
162014
Ask-Elle: A Haskell Tutor
J Jeuring, A Gerdes, B Heeren
European Conference on Technology Enhanced Learning, 453-458, 2012
162012
Constructing strategies for programming
A Gerdes, B Heeren, J Jeuring
International Conference on Computer Supported Education 1, 65-72, 2009
152009
Teachers and students in charge: Using annotated model solutions in a functional programming tutor
A Gerdes, B Heeren, J Jeuring
21st Century Learning for 21st Century Skills: 7th European Conference of …, 2012
142012
Ask-Elle: a Haskell Tutor
A Gerdes
PhD thesis, Universiteit Utrecht, 2012
102012
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
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
52018
Attribute grammars in Erlang
U Norell, A Gerdes
Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 1-12, 2015
52015
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
42013
Don't Judge Software by Its (Code) Coverage
R Johansson, H Eriksson, H Svensson, K Östberg, T Arts, A Gerdes, ...
SAFECOMP 2013-Workshop CARS (2nd Workshop on Critical Automotive …, 2013
32013
Strategies for Exercises
B Heeren, J Jeuring, A Gerdes
Department of Information and Computing Sciences, Utrecht University, Tech …, 2009
32009
The system can't perform the operation now. Try again later.
Articles 1–20