Johan Jeuring

	2011
50		Bastiaan Heeren, Johan Jeuring: Interleaving Strategies. Calculemus/MKM 2011: 196-211
	2010
49		Bastiaan Heeren, Johan Jeuring: Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330
48		José Pedro Magalhães, Atze Dijkstra, Johan Jeuring, Andres Löh: A generic deriving mechanism for Haskell. Haskell 2010: 37-48
47		Martijn Van Steenbergen, José Pedro Magalhães, Johan Jeuring: Generic selections of subexpressions. ICFP-WGP 2010: 37-48
46		Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Properties of Exercise Strategies IWS 2010: 21-34
45		José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh: Optimizing generics is easy! PEPM 2010: 33-42
44		Alex Gerdes, Johan Jeuring, Bastiaan Heeren: Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445
43		Bastiaan Heeren, Johan Jeuring: Adapting Mathematical Domain Reasoners CoRR abs/1005.4762: (2010)
42		Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães: A lightweight approach to datatype-generic rewriting. J. Funct. Program. 20(3-4): 375-413 (2010)
41		Bastiaan Heeren, Johan Jeuring, Alex Gerdes: Specifying Rewrite Strategies for Interactive Exercises. Mathematics in Computer Science 3(3): 349-370 (2010)
	2009
40		Alexey Rodriguez Yakushev, Johan Jeuring: Enumerating Well-Typed Terms Generically. AAIP 2009: 93-116
39		Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Constructing Strategies for Programming. CSEDU (1) 2009: 65-72
38		Bastiaan Heeren, Johan Jeuring: Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340
37		Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring: Generic programming with fixed points for mutually recursive datatypes. ICFP 2009: 233-244
36		Bastiaan Heeren, Johan Jeuring: Recognizing Strategies. Electr. Notes Theor. Comput. Sci. 237: 91-106 (2009)
	2008
35		Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes: Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445
34		Johan Jeuring, Sean Leather, José Pedro Magalhães, Alexey Rodriguez Yakushev: Libraries for Generic Programming in Haskell. Advanced Functional Programming 2008: 165-229
33		Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira: Comparing libraries for generic programming in haskell. Haskell 2008: 111-122
32		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
31		Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren: A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24
	2007
30		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
29		Ralf Hinze, Johan Jeuring, Andres Löh: Typed Contracts for Functional Programming. FLOPS 2006: 208-225
28		Johan Jeuring, Alexey Rodriguez, Gideon Smeding: Generating generic functions. ICFP-WGP 2006: 23-32
27		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
26		Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez: Generic Views on Data Types. MPC 2006: 209-234
	2005
25		Harrie Passier, Johan Jeuring: Using Schema Analysis for Feedback in Authoring Tools for Learning Environments. AIED 2005: 911-913
	2004
24		Frank Atanassow, Johan Jeuring: Inferring Type Isomorphisms Generically. MPC 2004: 32-53
23		Frank Atanassow, Dave Clarke, Johan Jeuring: UUXML: A Type-Preserving XML Schema-Haskell Data Binding. PADL 2004: 71-85
22		Ralf Hinze, Johan Jeuring, Andres Löh: Type-indexed data types. Sci. Comput. Program. 51(1-2): 117-151 (2004)
	2003
21		Jeremy Gibbons, Johan Jeuring: Generic Programming, IFIP TC2/WG2.1 Working Conference on Generic Programming, July 11-12, 2002, Dagstuhl, Germany Kluwer 2003
20		Johan Jeuring, Simon L. Peyton Jones: Advanced Functional Programming, 4th International School, AFP 2002, Oxford, UK, August 19-24, 2002, Revised Lectures Springer 2003
19		Ralf Hinze, Johan Jeuring: Generic Haskell: Practice and Theory. Generic Programming 2003: 1-56
18		Ralf Hinze, Johan Jeuring: Generic Haskell: Applications. Generic Programming 2003: 57-96
17		Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic Haskell. ICFP 2003: 141-152
16		Andres Löh, Dave Clarke, Johan Jeuring: Dependency-style generic haskell. SIGPLAN Notices 38(9): 141-152 (2003)
	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	[23] [24] [30]
2	Roland Carl Backhouse	[10]
3	Laurence Cabenda	[27]
4	Dave Clarke (David G. Clarke)	[16] [17] [23]
5	Atze Dijkstra	[48]
6	Eelco Dolstra	[32]
7	Gerbo Engels	[27]
8	Alex Gerdes	[33] [35] [39] [41] [44] [46]
9	Jeremy Gibbons	[21]
10	Jurriaan Hage	[32]
11	Bastiaan Heeren	[31] [32] [35] [36] [38] [39] [41] [42] [43] [44] [46] [49] [50]
12	Ralf Hinze	[13] [15] [18] [19] [22] [29]
13	Stefan Holdermans	[26] [31] [32] [37] [42] [45]
14	Patrik Jansson	[7] [8] [9] [10] [12] [14] [27] [33]
15	Simon L. Peyton Jones	[20]
16	Oleg Kiselyov	[33]
17	Jacob Kleerekoper	[27]
18	Sean Leather	[34]
19	Arthur van Leeuwen	[35]
20	Andres Löh	[15] [16] [17] [22] [26] [29] [32] [37] [45] [48]
21	Clara Löh	[32]
22	José Pedro Magalhães	[34] [42] [45] [47] [48]
23	Sander Mak	[27]
24	Lambert G. L. T. Meertens	[10]
25	Erik Meijer	[5] [6]
26	Arie Middelkoop	[32]
27	Thomas van Noort	[31] [42]
28	Bruno C. d. S. Oliveira	[33]
29	Michiel Overeem	[27]
30	Harrie Passier	[25]
31	John van Schie	[32]
32	Gideon Smeding	[28]
33	Martijn Van Steenbergen	[47]
34	S. Doaitse Swierstra	[2] [3]
35	Kees Visser	[27]
36	Alexey Rodriguez Yakushev (Alexey Rodriguez)	[26] [28] [31] [32] [33] [34] [37] [40] [42]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page