Johan Jeuring

2009
33	EE	Bastiaan Heeren, Johan Jeuring: Recognizing Strategies. Electr. Notes Theor. Comput. Sci. 237: 91-106 (2009)
2008
32	EE	Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes: Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445
31	EE	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	EE	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	EE	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	EE	Ralf Hinze, Johan Jeuring, Andres Löh: Typed Contracts for Functional Programming. FLOPS 2006: 208-225
27	EE	Johan Jeuring, Alexey Rodriguez, Gideon Smeding: Generating generic functions. ICFP-WGP 2006: 23-32
26	EE	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	EE	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	EE	Frank Atanassow, Johan Jeuring: Inferring Type Isomorphisms Generically. MPC 2004: 32-53
22	EE	Frank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
21	EE	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	EE	Ralf Hinze, Johan Jeuring: Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56
17	EE	Ralf Hinze, Johan Jeuring: Generic Haskell: Applications. Generic Programming 2003: 57-96
16	EE	Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic Haskell. ICFP 2003: 141-152
2002
15	EE	Ralf Hinze, Johan Jeuring, Andres Löh: Type-Indexed Data Types. MPC 2002: 148-174
14	EE	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	EE	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	EE	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	[32]
8	Jeremy Gibbons	[20]
9	Jurriaan Hage	[31]
10	Bastiaan Heeren	[30] [31] [32] [33]
11	Ralf Hinze	[13] [15] [17] [18] [21] [28]
12	Stefan Holdermans	[25] [30] [31]
13	Patrik Jansson	[7] [8] [9] [10] [12] [14] [26]
14	Simon L. Peyton Jones	[19]
15	Jacob Kleerekoper	[26]
16	Arthur van Leeuwen	[32]
17	Andres Löh	[15] [16] [21] [25] [28] [31]
18	Clara Löh	[31]
19	Sander Mak	[26]
20	Lambert G. L. T. Meertens	[10]
21	Erik Meijer	[5] [6]
22	Arie Middelkoop	[31]
23	Thomas van Noort	[30]
24	Michiel Overeem	[26]
25	Harrie Passier	[24]
26	Alexey Rodriguez	[25] [27] [30] [31]
27	John van Schie	[31]
28	Gideon Smeding	[27]
29	S. Doaitse Swierstra	[2] [3]
30	Kees Visser	[26]

Colors in the list of coauthors