Generic Views on Data Types. - Stefan Holdermans; Johan Jeuring; Andres Löh; Alexey Rodriguez (MPC, 2006)

A generic usage analysis with subeffect qualifiers. - Jurriaan Hage; Stefan Holdermans; Arie Middelkoop (ICFP, 2007)

Report on the tenth ICFP programming contest. - Eelco Dolstra; Jurriaan Hage; Bastiaan Heeren; Stefan Holdermans; Johan Jeuring; Andres Löh; Clara Löh; Arie Middelkoop; Alexey Rodriguez; John van Schie (ICFP, 2008)

A lightweight approach to datatype-generic rewriting. - Thomas van Noort; Alexey Rodriguez; Stefan Holdermans; Johan Jeuring; Bastiaan Heeren (ICFP-WGP, 2008)

Heap recycling for lazy languages. - Jurriaan Hage; Stefan Holdermans (PEPM, 2008)

Generic programming with fixed points for mutually recursive datatypes. - Alexey Rodriguez Yakushev; Stefan Holdermans; Andres Löh; Johan Jeuring (ICFP, 2009)

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. - Stefan Holdermans; Jurriaan Hage (ICFP, 2010)

On the rôle of minimal typing derivations in type-driven program transformation. - Stefan Holdermans; Jurriaan Hage (LDTA, 2010)

Dependently Typed Grammars. - Kasper Brink; Stefan Holdermans; Andres Löh (MPC, 2010)

Optimizing generics is easy! - José Pedro Magalhães; Stefan Holdermans; Johan Jeuring; Andres Löh (PEPM, 2010)

A lightweight approach to datatype-generic rewriting. - Thomas van Noort; Alexey Rodriguez Yakushev; Stefan Holdermans; Johan Jeuring; Bastiaan Heeren; José Pedro Magalhães (J. Funct. Program., 2010)

Making "stricterness" more relevant. - Stefan Holdermans; Jurriaan Hage (High. Order Symb. Comput., 2010)

Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance. - Stefan Holdermans (PPDP, 2013)

Security type error diagnosis for higher-order, polymorphic languages. - Jeroen Weijers; Jurriaan Hage; Stefan Holdermans (Sci. Comput. Program., 2014)