Stefan Holdermans

Publication Activity (10 Years)

Years Active: 2006-2014
Publications (10 Years): 0

Top Topics

Security Problems

Database Query Languages

Top Venues

Sci. Comput. Program.

Publications

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
Security type error diagnosis for higher-order, polymorphic languages. Sci. Comput. Program. 95 (2014)
Stefan Holdermans
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance. PPDP (2013)
Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
Security type error diagnosis for higher-order, polymorphic languages. PEPM (2013)
Stefan Holdermans, Jurriaan Hage
Making "stricterness" more relevant. High. Order Symb. Comput. 23 (3) (2010)
Stefan Holdermans, Jurriaan Hage
On the rôle of minimal typing derivations in type-driven program transformation. LDTA (2010)
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
Optimizing generics is easy! PEPM (2010)
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) (2010)
Stefan Holdermans, Jurriaan Hage
Making "stricterness" more relevant. PEPM (2010)
Kasper Brink, Stefan Holdermans, Andres Löh
Dependently Typed Grammars. MPC (2010)
Stefan Holdermans, Jurriaan Hage
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. ICFP (2010)
Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
Generic programming with fixed points for mutually recursive datatypes. ICFP (2009)
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
A lightweight approach to datatype-generic rewriting. ICFP-WGP (2008)
Jurriaan Hage, Stefan Holdermans
Heap recycling for lazy languages. PEPM (2008)
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)
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
A generic usage analysis with subeffect qualifiers. ICFP (2007)
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
Generic Views on Data Types. MPC (2006)