Johan Jeuring
Johan Jeuring
Professor of Software Technology for Learning and Teaching, Utrecht University and Open Universiteit
Geverifieerd e-mailadres voor uu.nl - Homepage
TitelGeciteerd doorJaar
PolyP—a polytypic programming language extension
P Jansson, J Jeuring
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of …, 1997
3461997
Generic programming
R Backhouse, P Jansson, J Jeuring, L Meertens
International School on Advanced Functional Programming, 28-115, 1998
2221998
Polytypic programming
J Jeuring, P Jansson
International School on Advanced Functional Programming, 68-114, 1996
1631996
. Generic Haskell: Practice and Theory
R Hinze, J Jeuring
Generic Programming, 1-56, 2003
1282003
Merging monads and folds for functional programming
E Meijer, J Jeuring
International School on Advanced Functional Programming, 228-266, 1995
931995
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
862008
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
792009
Typed contracts for functional programming
R Hinze, J Jeuring, A Löh
International Symposium on Functional and Logic Programming, 208-225, 2006
762006
Type-indexed data types
R Hinze, J Jeuring, A Löh
Mathematics of Program Construction, 148-174, 2002
712002
Comparing approaches to generic programming in Haskell
R Hinze, J Jeuring, A Löh
Datatype-Generic Programming, 72-149, 2007
702007
Theories for algorithm calculation
JT Jeuring
Utrecht University, 1993
681993
Dependency-style generic haskell
A Löh, D Clarke, J Jeuring
ACM SIGPLAN Notices 38 (9), 141-152, 2003
672003
A generic deriving mechanism for Haskell
JP Magalhães, A Dijkstra, J Jeuring, A Löh
ACM Sigplan Notices 45 (11), 37-48, 2010
662010
Generic views on data types
S Holdermans, J Jeuring, A Löh, A Rodriguez
International Conference on Mathematics of Program Construction, 209-234, 2006
632006
Polytypic pattern matching
J Jeuring
Proceedings of the seventh international conference on Functional …, 1995
611995
Type-indexed data types
R Hinze, J Jeuring, A Löh
Science of Computer Programming 51 (1-2), 117-151, 2004
592004
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
552010
Polytypic data conversion programs
P Jansson, J Jeuring
Science of computer programming 43 (1), 35-75, 2002
542002
Specifying rewrite strategies for interactive exercises
B Heeren, J Jeuring, A Gerdes
Mathematics in Computer Science 3 (3), 349-370, 2010
502010
Chapter 2. Generic Haskell: Applications
R Hinze, J Jeuring
Generic Programming, 57-96, 2003
502003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20