Stefan Holdermans

According to our database, Stefan Holdermans authored at least 14 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Security type error diagnosis for higher-order, polymorphic languages.

Jeroen Weijers, Jurriaan Hage, Stefan Holdermans

Sci. Comput. Program., 2014

2013

Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance.

Stefan Holdermans

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2010

Making "stricterness" more relevant.

Stefan Holdermans, Jurriaan Hage

High. Order Symb. Comput., 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

Optimizing generics is easy!

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring, Andres Löh

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Dependently Typed Grammars.

Kasper Brink, Stefan Holdermans, Andres Löh

Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

On the rôle of minimal typing derivations in type-driven program transformation.

Stefan Holdermans, Jurriaan Hage

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators.

Stefan Holdermans, Jurriaan Hage

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

2009

Generic programming with fixed points for mutually recursive datatypes.

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh, Johan Jeuring

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Heap recycling for lazy languages.

Jurriaan Hage, Stefan Holdermans

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

A lightweight approach to datatype-generic rewriting.

Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2008

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

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007

A generic usage analysis with subeffect qualifiers.

Jurriaan Hage, Stefan Holdermans, Arie Middelkoop

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Generic Views on Data Types.

Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006