Seguir
Johan Jeuring
Johan Jeuring
Professor of Software Technology for Learning and Teaching, ICS & FI, Utrecht University
Dirección de correo verificada de uu.nl - Página principal
Título
Citado por
Citado por
Año
PolyP—a polytypic programming language extension
P Jansson, J Jeuring
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
3591997
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
3222019
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
1962016
Polytypic programming
J Jeuring, P Jansson
International School on Advanced Functional Programming, 68-114, 1996
1611996
Chapter 1. Generic Haskell: Practice and Theory
R Hinze, J Jeuring
Generic Programming: Advanced Lectures, 1-56, 2003
1412003
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
1382017
Code quality Issues in Student Programs
H Keuning, B Heeren, J Jeuring
Proceedings of the 2017 ACM Conference on Innovation and Technology in …, 2017
1232017
A generic deriving mechanism for Haskell
JP Magalhães, A Dijkstra, J Jeuring, A Löh
ACM Sigplan Notices 45 (11), 37-48, 2010
1202010
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
1072014
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
1042009
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
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
952015
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
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
Dependency-style generic haskell
A Löh, D Clarke, J Jeuring
ACM SIGPLAN Notices 38 (9), 141-152, 2003
712003
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20