PolyP—a polytypic programming language extension P Jansson, J Jeuring Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997 | 359 | 1997 |
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), 3, 2019 | 304 | 2019 |
Generic programming R Backhouse, P Jansson, J Jeuring, L Meertens Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999 | 246 | 1999 |
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 | 193 | 2016 |
Polytypic programming J Jeuring, P Jansson International School on Advanced Functional Programming, 68-114, 1996 | 161 | 1996 |
Chapter 1. Generic Haskell: Practice and Theory R Hinze, J Jeuring Generic Programming: Advanced Lectures, 1-56, 2003 | 141 | 2003 |
Ask-Elle: an adaptable programming tutor for Haskell giving automated feedback A Gerdes, B Heeren, J Jeuring, LT Binsbergen International Journal of Artificial Intelligence in Education 27 (1), 207-240, 2017 | 134 | 2017 |
Code quality Issues in Student Programs H Keuning, B Heeren, J Jeuring Proceedings of the 2017 ACM Conference on Innovation and Technology in …, 2017 | 120 | 2017 |
A generic deriving mechanism for Haskell JP Magalhães, A Dijkstra, J Jeuring, A Löh ACM Sigplan Notices 45 (11), 37-48, 2010 | 118 | 2010 |
Merging monads and folds for functional programming E Meijer, J Jeuring Advanced Functional Programming: First International Spring School on …, 1995 | 106 | 1995 |
University students' achievement goals and help-seeking strategies in an intelligent tutoring system BE Vaessen, FJ Prins, J Jeuring Computers & Education 72, 196-208, 2014 | 104 | 2014 |
Generic programming with fixed points for mutually recursive datatypes AR Yakushev, S Holdermans, A Löh, J Jeuring ACM Sigplan Notices 44 (9), 233-244, 2009 | 104 | 2009 |
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 |
The effect of simulations and games on learning objectives in tertiary education: A systematic review S de Smale, T Overmans, J Jeuring, L van de Grint International Conference on Games and Learning Alliance, 506-516, 2015 | 92 | 2015 |
Typed contracts for functional programming R Hinze, J Jeuring, A Löh International Symposium on Functional and Logic Programming, 208-225, 2006 | 88 | 2006 |
Comparing approaches to generic programming in Haskell R Hinze, J Jeuring, A Löh Datatype-Generic Programming, 72-149, 2007 | 78 | 2007 |
Type-indexed data types R Hinze, J Jeuring, A Löh Mathematics of Program Construction, 148-174, 2002 | 76 | 2002 |
Theories for algorithm calculation JT Jeuring Utrecht University, 1993 | 75 | 1993 |
Dependency-style generic haskell A Löh, D Clarke, J Jeuring ACM SIGPLAN Notices 38 (9), 141-152, 2003 | 71 | 2003 |
The Generic Haskell user’s guide D Clarke, R Hinze, J Jeuring, A Löh, J de Wit Technical Report UU-CS-2001-26, Utrecht University, 2001 | 69* | 2001 |