Stefan Holdermans

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
Security type error diagnosis for higher-order, polymorphic languages.
Sci. Comput. Program., 2014

2013
Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

2010
Making "stricterness" more relevant.
High. Order Symb. Comput., 2010

A lightweight approach to datatype-generic rewriting.
J. Funct. Program., 2010

Optimizing generics is easy!
Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Dependently Typed Grammars.
Proceedings of the Mathematics of Program Construction, 10th International Conference, 2010

On the rôle of minimal typing derivations in type-driven program transformation.
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.
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.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Heap recycling for lazy languages.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

A lightweight approach to datatype-generic rewriting.
Proceedings of the ACM SIGPLAN Workshop on Genetic Programming, 2008

Report on the tenth ICFP programming contest.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2007
A generic usage analysis with subeffect qualifiers.
Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006
Generic Views on Data Types.
Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006


  Loading...