Johan Jeuring

	2009
37		Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Constructing Strategies for Programming. CSEDU (1) 2009: 65-72
36		Bastiaan Heeren, Johan Jeuring: Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340
35		Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring: Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244
34		Bastiaan Heeren, Johan Jeuring: Recognizing Strategies. Electr. Notes Theor. Comput. Sci. 237: 91-106 (2009)
	2008
33		Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes: Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445
32		Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev: Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229
31		Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie: Report on the tenth ICFP programming contest. ICFP 2008: 397-408
30		Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren: A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24
	2007
29		Frank Atanassow, Johan Jeuring: Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell. Sci. Comput. Program. 65(2): 72-107 (2007)
	2006
28		Ralf Hinze, Johan Jeuring, Andres Löh: Typed Contracts for Functional Programming. FLOPS 2006: 208-225
27		Johan Jeuring, Alexey Rodriguez, Gideon Smeding: Generating generic functions. ICFP-WGP 2006: 23-32
26		Patrik Jansson, Johan Jeuring, Laurence Cabenda, Gerbo Engels, Jacob Kleerekoper, Sander Mak, Michiel Overeem, Kees Visser: Testing Properties of Generic Functions. IFL 2006: 217-234
25		Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez: Generic Views on Data Types. MPC 2006: 209-234
	2005
24		Harrie Passier, Johan Jeuring: Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. AIED 2005: 911-913
	2004
23		Frank Atanassow, Johan Jeuring: Inferring Type Isomorphisms Generically. MPC 2004: 32-53
22		Frank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
21		Ralf Hinze, Johan Jeuring, Andres Löh: Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004)
	2003
20		Jeremy Gibbons, Johan Jeuring: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Kluwer 2003
19		Johan Jeuring, Simon L. Peyton Jones: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures Springer 2003
18		Ralf Hinze, Johan Jeuring: Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56
17		Ralf Hinze, Johan Jeuring: Generic Haskell: Applications. Generic Programming 2003: 57-96
16		Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic Haskell. ICFP 2003: 141-152
	2002
15		Ralf Hinze, Johan Jeuring, Andres Löh: Type-Indexed Data Types. MPC 2002: 148-174
14		Patrik Jansson, Johan Jeuring: Polytypic data conversion programs. Sci. Comput. Program. 43(1): 35-75 (2002)
	2001
13		Ralf Hinze, Johan Jeuring: Weaving a web. J. Funct. Program. 11(6): 681-689 (2001)
	1999
12		Patrik Jansson, Johan Jeuring: Polytypic Compact Printing and Parsing. ESOP 1999: 273-287
	1998
11		Johan Jeuring: Mathematics of Program Construction, MPC'98, Marstrand, Sweden, June 15-17, 1998, Proceedings Springer 1998
10		Roland Carl Backhouse, Patrik Jansson, Johan Jeuring, Lambert G. L. T. Meertens: Generic Programming: An Introduction. Advanced Functional Programming 1998: 28-115
9		Patrik Jansson, Johan Jeuring: Polytypic Unification. J. Funct. Program. 8(5): 527-536 (1998)
	1997
8		Patrik Jansson, Johan Jeuring: Polyp - A Polytypic Programming Language. POPL 1997: 470-482
	1996
7		Johan Jeuring, Patrik Jansson: Polytypic Programming. Advanced Functional Programming 1996: 68-114
	1995
6		Johan Jeuring, Erik Meijer: Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text Springer 1995
5		Erik Meijer, Johan Jeuring: Merging Monads and Folds for Functional Programming. Advanced Functional Programming 1995: 228-266
4		Johan Jeuring: Polytypic Pattern Matching. FPCA 1995: 238-248
3		Johan Jeuring, S. Doaitse Swierstra: Constructing Functional Programs for Grammar Analysis Problems. FPCA 1995: 259-269
	1994
2		Johan Jeuring, S. Doaitse Swierstra: Bottom-up Grammar Analysis - A Functional Formulation. ESOP 1994: 317-332
1		Johan Jeuring: The Derivation of On-Line Algorithms, with an Application To Finding Palindromes. Algorithmica 11(2): 146-184 (1994)

Coauthor Index

1	Frank Atanassow	[22] [23] [29]
2	Roland Carl Backhouse	[10]
3	Laurence Cabenda	[26]
4	Dave Clarke	[16] [22]
5	Eelco Dolstra	[31]
6	Gerbo Engels	[26]
7	Alex Gerdes	[33] [37]
8	Jeremy Gibbons	[20]
9	Jurriaan Hage	[31]
10	Bastiaan Heeren	[30] [31] [33] [34] [36] [37]
11	Ralf Hinze	[13] [15] [17] [18] [21] [28]
12	Stefan Holdermans	[25] [30] [31] [35]
13	Patrik Jansson	[7] [8] [9] [10] [12] [14] [26]
14	Simon L. Peyton Jones	[19]
15	Jacob Kleerekoper	[26]
16	Sean Leather	[32]
17	Arthur van Leeuwen	[33]
18	Andres Löh	[15] [16] [21] [25] [28] [31] [35]
19	Clara Löh	[31]
20	José Pedro Magalhães	[32]
21	Sander Mak	[26]
22	Lambert G. L. T. Meertens	[10]
23	Erik Meijer	[5] [6]
24	Arie Middelkoop	[31]
25	Thomas van Noort	[30]
26	Michiel Overeem	[26]
27	Harrie Passier	[24]
28	John van Schie	[31]
29	Gideon Smeding	[27]
30	S. Doaitse Swierstra	[2] [3]
31	Kees Visser	[26]
32	Alexey Rodriguez Yakushev (Alexey Rodriguez)	[25] [27] [30] [31] [32] [35]

Colors in the list of coauthors