Stefan Holdermans

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans: Security type error diagnosis for higher-order, polymorphic languages. PEPM 2013: 3-12

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)

Stefan Holdermans, Jurriaan Hage: Making "stricterness" more relevant. Higher-Order and Symbolic Computation 23(3): 315-335 (2010)

Stefan Holdermans, Jurriaan Hage: Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. ICFP 2010: 63-74

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

Kasper Brink, Stefan Holdermans, Andres Löh: Dependently Typed Grammars. MPC 2010: 58-79

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh: Optimizing generics is easy! PEPM 2010: 33-42

Stefan Holdermans, Jurriaan Hage: Making "stricterness" more relevant. PEPM 2010: 121-130

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

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

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

Jurriaan Hage, Stefan Holdermans: Heap recycling for lazy languages. PEPM 2008: 189-197

Jurriaan Hage, Stefan Holdermans, Arie Middelkoop: A generic usage analysis with subeffect qualifiers. ICFP 2007: 235-246

Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez: Generic Views on Data Types. MPC 2006: 209-234