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 | 143 | 2017 |
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 | 101 | 2008 |
An interactive functional programming tutor A Gerdes, J Jeuring, B Heeren Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012 | 59 | 2012 |
Specifying rewrite strategies for interactive exercises B Heeren, J Jeuring, A Gerdes Mathematics in computer science 3, 349-370, 2010 | 59 | 2010 |
Specifying strategies for exercises B Heeren, J Jeuring, A Van Leeuwen, A Gerdes Intelligent Computer Mathematics: 9th International Conference, AISC 2008 …, 2008 | 40 | 2008 |
Using strategies for assessment of programming exercises A Gerdes, JT Jeuring, BJ Heeren Proceedings of the 41st ACM technical symposium on Computer science …, 2010 | 39 | 2010 |
Feedback services for exercise assistants A Gerdes, B Heeren, J Jeuring, S Stuurman Technical Report UU-CS-2008-018, Utrecht University, 2008 | 24 | 2008 |
A programming tutor for Haskell J Jeuring, A Gerdes, B Heeren Central European Functional Programming School: 4th Summer School, CEFP 2011 …, 2012 | 19 | 2012 |
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 | 16 | 2014 |
Ask-Elle: A Haskell Tutor J Jeuring, A Gerdes, B Heeren European Conference on Technology Enhanced Learning, 453-458, 2012 | 16 | 2012 |
Constructing strategies for programming A Gerdes, B Heeren, J Jeuring International Conference on Computer Supported Education 1, 65-72, 2009 | 15 | 2009 |
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 | 14 | 2012 |
Ask-Elle: a Haskell Tutor A Gerdes PhD thesis, Universiteit Utrecht, 2012 | 10 | 2012 |
Properties of exercise strategies A Gerdes, B Heeren, J Jeuring arXiv preprint arXiv:1012.5561, 2010 | 9 | 2010 |
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 | 7 | 2015 |
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 | 6 | 2018 |
Attribute grammars in Erlang U Norell, A Gerdes Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 1-12, 2015 | 5 | 2015 |
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 | 4 | 2013 |
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 | 3 | 2013 |
Strategies for Exercises B Heeren, J Jeuring, A Gerdes Department of Information and Computing Sciences, Utrecht University, Tech …, 2009 | 3 | 2009 |