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 | 89 | 2008 |
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 | 67 | 2017 |
Specifying rewrite strategies for interactive exercises B Heeren, J Jeuring, A Gerdes Mathematics in computer science 3 (3), 349-370, 2010 | 57 | 2010 |
An interactive functional programming tutor A Gerdes, J Jeuring, B Heeren Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012 | 50 | 2012 |
Specifying strategies for exercises B Heeren, J Jeuring, A Van Leeuwen, A Gerdes International Conference on Intelligent Computer Mathematics, 430-445, 2008 | 36 | 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 | 29 | 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, 1-45, 2011 | 16 | 2011 |
Ask-Elle: A Haskell Tutor J Jeuring, A Gerdes, B Heeren European Conference on Technology Enhanced Learning, 453-458, 2012 | 13 | 2012 |
Teachers and students in charge A Gerdes, B Heeren, J Jeuring European Conference on Technology Enhanced Learning, 383-388, 2012 | 13 | 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 | 12 | 2014 |
Constructing Strategies for Programming. A Gerdes, B Heeren, J Jeuring CSEDU (1), 65-72, 2009 | 12 | 2009 |
Properties of exercise strategies A Gerdes, B Heeren, J Jeuring arXiv preprint arXiv:1012.5561, 2010 | 9 | 2010 |
Ask-Elle: a Haskell Tutor A Gerdes PhD thesis, Universiteit Utrecht, 2012 | 8 | 2012 |
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 |
Attribute grammars in Erlang U Norell, A Gerdes Proceedings of the 14th ACM SIGPLAN Workshop on Erlang, 1-12, 2015 | 5 | 2015 |
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 |
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 | 3 | 2013 |
Comparing Datatype Generic Libraries in Haskell BCSOAR Johan, JPJAG Oleg Journal of Functional Programming, 2009 | 3 | 2009 |
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 | 1 | 2018 |