Stefan Holdermans

16 papers A 4B 2C 5Journal 3Unranked 2
YearRankTypeTitle / Venue / Authors
2014 J jnl
Security type error diagnosis for higher-order, polymorphic languages.
Sci. Comput. Program.
Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
2013 C conf
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance.
PPDP
Stefan Holdermans
2013 C conf
Security type error diagnosis for higher-order, polymorphic languages.
PEPM
Jeroen Weijers, Jurriaan Hage, Stefan Holdermans
2010 J jnl
A lightweight approach to datatype-generic rewriting.
J. Funct. Program.
Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, José Pedro Magalhães
2010 B conf
Dependently Typed Grammars.
MPC
Kasper Brink, Stefan Holdermans, Andres Löh
2010 C conf
Making "stricterness" more relevant.
PEPM
Stefan Holdermans, Jurriaan Hage
2010 J jnl
Making "stricterness" more relevant.
High. Order Symb. Comput.
Stefan Holdermans, Jurriaan Hage
2010 — conf
On the rôle of minimal typing derivations in type-driven program transformation.
LDTA
Stefan Holdermans, Jurriaan Hage
2010 C conf
Optimizing generics is easy!
PEPM
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh
2010 A conf
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.
ICFP
Stefan Holdermans, Jurriaan Hage
2009 A conf
Generic programming with fixed points for mutually recursive datatypes.
ICFP
Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring
2008 — conf
A lightweight approach to datatype-generic rewriting.
ICFP-WGP
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
2008 C conf
Heap recycling for lazy languages.
PEPM
Jurriaan Hage, Stefan Holdermans
2008 A conf
Report on the tenth ICFP programming contest.
ICFP
Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, Clara Löh, Arie Middelkoop, Alexey Rodriguez, John van Schie
2007 A conf
A generic usage analysis with subeffect qualifiers.
ICFP
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop
2006 B conf
Generic Views on Data Types.
MPC
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez