 | 2009 |
|---|
| 10 |       | Alex Gerdes,
Bastiaan Heeren,
Johan Jeuring:
Constructing Strategies for Programming.
CSEDU (1) 2009: 65-72 |
| 9 |  | Bastiaan Heeren,
Johan Jeuring:
Canonical Forms in Interactive Exercise Assistants.
Calculemus/MKM 2009: 325-340 |
| 8 | | Jurriaan Hage,
Bastiaan Heeren:
Strategies for Solving Constraints in Type and Effect Systems.
Electr. Notes Theor. Comput. Sci. 236: 163-183 (2009) |
| 7 | | Bastiaan Heeren,
Johan Jeuring:
Recognizing Strategies.
Electr. Notes Theor. Comput. Sci. 237: 91-106 (2009) |
| 2008 |
|---|
| 6 | | Bastiaan Heeren,
Johan Jeuring,
Arthur van Leeuwen,
Alex Gerdes:
Specifying Strategies for Exercises.
AISC/MKM/Calculemus 2008: 430-445 |
| 5 | | 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 | | 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 | | Jurriaan Hage,
Bastiaan Heeren:
Heuristics for Type Error Discovery and Recovery.
IFL 2006: 199-216 |
| 2005 |
|---|
| 2 | | Bastiaan Heeren,
Jurriaan Hage:
Type Class Directives.
PADL 2005: 253-267 |
| 2003 |
|---|
| 1 | | Bastiaan Heeren,
Jurriaan Hage,
S. Doaitse Swierstra:
Scripting the type inference process.
ICFP 2003: 3-13 |
