| Helium, for learning Haskell B Heeren, D Leijen, A van IJzendoorn Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 62-71, 2003 | 115 | 2003 |
| Top quality type error messages BJ Heeren IPA Dissertation Series;, 2005 | 103 | 2005 |
| Scripting the type inference process B Heeren, J Hage, SD Swierstra ACM SIGPLAN Notices 38 (9), 3-13, 2003 | 96 | 2003 |
| 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 | 87 | 2016 |
| A lightweight approach to datatype-generic rewriting T Van Noort, AR Yakushev, S Holdermans, J Jeuring, B Heeren, ... Journal of functional programming 20 (3-4), 375-413, 2010 | 66 | 2010 |
| 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 | 61 | 2017 |
| Heuristics for type error discovery and recovery J Hage, B Heeren Symposium on Implementation and Application of Functional Languages, 199-216, 2006 | 60 | 2006 |
| Specifying rewrite strategies for interactive exercises B Heeren, J Jeuring, A Gerdes Mathematics in computer science 3 (3), 349-370, 2010 | 56 | 2010 |
| An interactive functional programming tutor A Gerdes, J Jeuring, B Heeren Proceedings of the 17th ACM annual conference on Innovation and technology …, 2012 | 49 | 2012 |
| 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 | 41 | 2018 |
| 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, 513-517, 2015 | 41 | 2015 |
| Feedback services for stepwise exercises B Heeren, J Jeuring Science of Computer Programming 88, 110-129, 2014 | 40 | 2014 |
| Code quality issues in student programs H Keuning, B Heeren, J Jeuring Proceedings of the 2017 ACM Conference on Innovation and Technology in …, 2017 | 36 | 2017 |
| Specifying strategies for exercises B Heeren, J Jeuring, A Van Leeuwen, A Gerdes International Conference on Intelligent Computer Mathematics, 430-445, 2008 | 36 | 2008 |
| Generalizing Hindley-Milner type inference algorithms BJ Heeren, J Hage, SD Swierstra Utrecht University: Information and Computing Sciences, 2002 | 36 | 2002 |
| Type class directives B Heeren, J Hage International Workshop on Practical Aspects of Declarative Languages, 253-267, 2005 | 33 | 2005 |
| Using strategies for assessment of programming exercises A Gerdes, JT Jeuring, BJ Heeren Proceedings of the 41st ACM technical symposium on Computer science …, 2010 | 30 | 2010 |
| Strategies for solving constraints in type and effect systems J Hage, B Heeren Electronic Notes in Theoretical Computer Science 236, 163-183, 2009 | 26 | 2009 |
| Feedback services for exercise assistants A Gerdes, B Heeren, J Jeuring, S Stuurman Technical Report UU-CS-2008-018, Utrecht University, 2008 | 24 | 2008 |
| Constraint based type inferencing in Helium B Heeren, J Hage, SD Swierstra Immediate Applications of Constraint Programming (ACP), 57-78, 2003 | 21 | 2003 |
Johan JeuringProfessor of Software Technology for Learning and Teaching, Utrecht University and Open UniversiteitVerified email at uu.nl
