| A systematic literature review of automated feedback generation for programming exercises H Keuning, J Jeuring, B Heeren ACM Transactions on Computing Education (TOCE) 19 (1), 1-43, 2018 | 160 | 2018 |
| Towards a systematic review of automated feedback generation for programming exercises H Keuning, J Jeuring, B Heeren Proceedings of the 2016 ACM Conference on Innovation and Technology in …, 2016 | 153 | 2016 |
| Helium, for learning Haskell B Heeren, D Leijen, A van IJzendoorn Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 62-71, 2003 | 126 | 2003 |
| Top quality type error messages BJ Heeren IPA Dissertation Series;, 2005 | 116 | 2005 |
| 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 | 107 | 2017 |
| Scripting the type inference process B Heeren, J Hage, SD Swierstra ACM SIGPLAN Notices 38 (9), 3-13, 2003 | 104 | 2003 |
| Heuristics for type error discovery and recovery J Hage, B Heeren Implementation and Application of Functional Languages: 18th International …, 2007 | 68 | 2007 |
| Code quality issues in student programs H Keuning, B Heeren, J Jeuring Proceedings of the 2017 ACM Conference on Innovation and Technology in …, 2017 | 66 | 2017 |
| A lightweight approach to datatype-generic rewriting T Noort, A Rodriguez, S Holdermans, J Jeuring, B Heeren Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 13-24, 2008 | 63 | 2008 |
| Specifying rewrite strategies for interactive exercises B Heeren, J Jeuring, A Gerdes Mathematics in computer science 3, 349-370, 2010 | 59 | 2010 |
| Feedback services for stepwise exercises B Heeren, J Jeuring Science of Computer Programming 88, 110-129, 2014 | 56 | 2014 |
| An interactive functional programming tutor A Gerdes, J Jeuring, B Heeren Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012 | 55 | 2012 |
| Communicate!—a serious game for communication skills— J Jeuring, F Grosfeld, B Heeren, M Hulsbergen, R IJntema, V Jonker, ... Design for Teaching and Learning in a Networked World: 10th European …, 2015 | 48 | 2015 |
| Generalizing Hindley-Milner type inference algorithms BJ Heeren, J Hage, SD Swierstra Utrecht University: Information and Computing Sciences, 2002 | 41 | 2002 |
| Type class directives B Heeren, J Hage Practical Aspects of Declarative Languages: 7th International Symposium …, 2005 | 36 | 2005 |
| Specifying strategies for exercises B Heeren, J Jeuring, A Leeuwen, A Gerdes Lecture Notes in Computer Science 5144, 430-445, 2008 | 35 | 2008 |
| Strategy-based feedback in a programming tutor H Keuning, B Heeren, J Jeuring Department of Information and Computing Sciences, Utrecht University, 2014 | 33 | 2014 |
| Using strategies for assessment of programming exercises A Gerdes, JT Jeuring, BJ Heeren Proceedings of the 41st ACM technical symposium on Computer science …, 2010 | 33 | 2010 |
| Strategies for solving constraints in type and effect systems J Hage, B Heeren Electronic Notes in Theoretical Computer Science 236, 163-183, 2009 | 32 | 2009 |
| Constraint based type inferencing in Helium B Heeren, J Hage, SD Swierstra Immediate Applications of Constraint Programming (ACP), 57-78, 2003 | 24 | 2003 |
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht UniversityVerified email at uu.nl
