| 2009 |
|---|
| 8 | EE | Jurriaan Hage,
Bastiaan Heeren:
Strategies for Solving Constraints in Type and Effect Systems.
Electr. Notes Theor. Comput. Sci. 236: 163-183 (2009) |
| 7 | EE | Bastiaan Heeren,
Johan Jeuring:
Recognizing Strategies.
Electr. Notes Theor. Comput. Sci. 237: 91-106 (2009) |
| 2008 |
|---|
| 6 | EE | Bastiaan Heeren,
Johan Jeuring,
Arthur van Leeuwen,
Alex Gerdes:
Specifying Strategies for Exercises.
AISC/MKM/Calculemus 2008: 430-445 |
| 5 | 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 |
| 4 | EE | Thomas van Noort,
Alexey Rodriguez,
Stefan Holdermans,
Johan Jeuring,
Bastiaan Heeren:
A lightweight approach to datatype-generic rewriting.
ICFP-WGP 2008: 13-24 |
| 2006 |
|---|
| 3 | EE | Jurriaan Hage,
Bastiaan Heeren:
Heuristics for Type Error Discovery and Recovery.
IFL 2006: 199-216 |
| 2005 |
|---|
| 2 | EE | Bastiaan Heeren,
Jurriaan Hage:
Type Class Directives.
PADL 2005: 253-267 |
| 2003 |
|---|
| 1 | EE | Bastiaan Heeren,
Jurriaan Hage,
S. Doaitse Swierstra:
Scripting the type inference process.
ICFP 2003: 3-13 |
