Bastiaan Heeren

	2011
19		Bastiaan Heeren, Johan Jeuring: Interleaving Strategies. Calculemus/MKM 2011: 196-211
18		Josje Lodder, Bastiaan Heeren: A Teaching Tool for Proving Equivalences between Logical Formulae. TICTTL 2011: 154-161
	2010
17		Bastiaan Heeren, Johan Jeuring: Adapting Mathematical Domain Reasoners. AISC/MKM/Calculemus 2010: 315-330
16		Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Properties of Exercise Strategies IWS 2010: 21-34
15		Alex Gerdes, Johan Jeuring, Bastiaan Heeren: Using strategies for assessment of programming exercises. SIGCSE 2010: 441-445
14		Bastiaan Heeren, Johan Jeuring: Adapting Mathematical Domain Reasoners CoRR abs/1005.4762: (2010)
13		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)
12		Bastiaan Heeren, Johan Jeuring, Alex Gerdes: Specifying Rewrite Strategies for Interactive Exercises. Mathematics in Computer Science 3(3): 349-370 (2010)
	2009
11		Alex Gerdes, Bastiaan Heeren, Johan Jeuring: Constructing Strategies for Programming. CSEDU (1) 2009: 65-72
10		Bastiaan Heeren, Johan Jeuring: Canonical Forms in Interactive Exercise Assistants. Calculemus/MKM 2009: 325-340
9		Jurriaan Hage, Bastiaan Heeren: Strategies for Solving Constraints in Type and Effect Systems. Electr. Notes Theor. Comput. Sci. 236: 163-183 (2009)
8		Bastiaan Heeren, Johan Jeuring: Recognizing Strategies. Electr. Notes Theor. Comput. Sci. 237: 91-106 (2009)
	2008
7		Bastiaan Heeren, Johan Jeuring, Arthur van Leeuwen, Alex Gerdes: Specifying Strategies for Exercises. AISC/MKM/Calculemus 2008: 430-445
6		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
5		Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren: A lightweight approach to datatype-generic rewriting. ICFP-WGP 2008: 13-24
	2006
4		Jurriaan Hage, Bastiaan Heeren: Heuristics for Type Error Discovery and Recovery. IFL 2006: 199-216
	2005
3		Bastiaan Heeren, Jurriaan Hage: Type Class Directives. PADL 2005: 253-267
	2003
2		Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra: Scripting the type inference process. ICFP 2003: 3-13
1		Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra: Scripting the type inference process. SIGPLAN Notices 38(9): 3-13 (2003)

Coauthor Index

1	Eelco Dolstra	[6]
2	Alex Gerdes	[7] [11] [12] [15] [16]
3	Jurriaan Hage	[1] [2] [3] [4] [6] [9]
4	Stefan Holdermans	[5] [6] [13]
5	Johan Jeuring	[5] [6] [7] [8] [10] [11] [12] [13] [14] [15] [16] [17] [19]
6	Arthur van Leeuwen	[7]
7	Josje Lodder	[18]
8	Andres Löh	[6]
9	Clara Löh	[6]
10	José Pedro Magalhães	[13]
11	Arie Middelkoop	[6]
12	Thomas van Noort	[5] [13]
13	John van Schie	[6]
14	S. Doaitse Swierstra	[1] [2]
15	Alexey Rodriguez Yakushev (Alexey Rodriguez)	[5] [6] [13]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page