متابعة
Johan Jeuring
Johan Jeuring
Professor of Software Technology for Learning and Teaching, ICS & FI, Utrecht University
بريد إلكتروني تم التحقق منه على uu.nl - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
3622019
PolyP—a polytypic programming language extension‏
P Jansson, J Jeuring‏
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997‏
3611997
Generic programming‏
R Backhouse, P Jansson, J Jeuring, L Meertens‏
Advanced Functional Programming: Third International School, AFP’98, Braga …, 1999‏
2461999
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‏
2022016
Polytypic programming‏
J Jeuring, P Jansson‏
International School on Advanced Functional Programming, 68-114, 1996‏
1621996
Chapter 1. Generic Haskell: Practice and Theory‏
R Hinze, J Jeuring‏
Generic Programming: Advanced Lectures, 1-56, 2003‏
1472003
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‏
1452017
Code quality Issues in Student Programs‏
H Keuning, B Heeren, J Jeuring‏
Proceedings of the 2017 ACM Conference on Innovation and Technology in …, 2017‏
1372017
A generic deriving mechanism for Haskell‏
JP Magalhães, A Dijkstra, J Jeuring, A Löh‏
ACM Sigplan Notices 45 (11), 37-48, 2010‏
1222010
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‏
1102014
Merging monads and folds for functional programming‏
E Meijer, J Jeuring‏
Advanced Functional Programming: First International Spring School on …, 1995‏
1061995
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‏
1052009
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‏
1032015
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‏
1012008
Typed contracts for functional programming‏
R Hinze, J Jeuring, A Löh‏
International Symposium on Functional and Logic Programming, 208-225, 2006‏
892006
Comparing approaches to generic programming in Haskell‏
R Hinze, J Jeuring, A Löh‏
Datatype-Generic Programming, 72-149, 2007‏
782007
Notional Machines in Computing Education: The Education of Attention‏
S Fincher, J Jeuring, CS Miller, P Donaldson, B du Boulay, M Hauswirth, ...‏
Proceedings of the Working Group Reports on Innovation and Technology in …, 2020‏
772020
I know it when I see it Perceptions of Code Quality: ITiCSE'17 Working Group Report‏
J Börstler, H Störrle, D Toll, J van Assema, R Duran, S Hooshangi, ...‏
Proceedings of the 2017 ITiCSE Conference on Working Group Reports, 70-85, 2018‏
762018
Type-indexed data types‏
R Hinze, J Jeuring, A Löh‏
Mathematics of Program Construction, 148-174, 2002‏
762002
Theories for algorithm calculation‏
JT Jeuring‏
Utrecht University, 1993‏
751993
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20