 | 2010 |
| 13 |  | Stefan Holdermans,
Jurriaan Hage:
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.
ICFP 2010: 63-74 |
| 12 |  | Stefan Holdermans,
Jurriaan Hage:
On the rôle of minimal typing derivations in type-driven program transformation.
LDTA 2010: 2 |
| 11 |  | Kasper Brink,
Stefan Holdermans,
Andres Löh:
Dependently Typed Grammars.
MPC 2010: 58-79 |
| 10 |  | Stefan Holdermans,
Jurriaan Hage:
Making "stricterness" more relevant.
PEPM 2010: 121-130 |
| 9 |  | José Pedro Magalhães,
Stefan Holdermans,
Johan Jeuring,
Andres Löh:
Optimizing generics is easy!
PEPM 2010: 33-42 |
| 8 |  | Stefan Holdermans,
Jurriaan Hage:
Making "stricterness" more relevant.
Higher-Order and Symbolic Computation 23(3): 315-335 (2010) |
| 7 |  | 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) |
| 2009 |
| 6 |  | Alexey Rodriguez Yakushev,
Stefan Holdermans,
Andres Löh,
Johan Jeuring:
Generic programming with fixed points for mutually recursive datatypes.
ICFP 2009: 233-244 |
| 2008 |
| 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 |
| 3 |  | Jurriaan Hage,
Stefan Holdermans:
Heap recycling for lazy languages.
PEPM 2008: 189-197 |
| 2007 |
| 2 |  | Jurriaan Hage,
Stefan Holdermans,
Arie Middelkoop:
A generic usage analysis with subeffect qualifiers.
ICFP 2007: 235-246 |
| 2006 |
| 1 |  | Stefan Holdermans,
Johan Jeuring,
Andres Löh,
Alexey Rodriguez:
Generic Views on Data Types.
MPC 2006: 209-234 |