Stefan Holdermans
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
4
Active years
2006–2013
Best venue rank
A
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | PEPM | Security type error diagnosis for higher-order, polymorphic languages. | Jeroen Weijers, Jurriaan Hage, Stefan Holdermans |
| 2013 | PPDP | Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance. | Stefan Holdermans |
| 2010 | ICFP | Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. | Stefan Holdermans, Jurriaan Hage |
| 2010 | MPC | Dependently Typed Grammars. | Kasper Brink, Stefan Holdermans, Andres Lh |
| 2010 | PEPM | Making "stricterness" more relevant. | Stefan Holdermans, Jurriaan Hage |
| 2010 | PEPM | Optimizing generics is easy! | Jos Pedro Magalhes, Stefan Holdermans, Johan Jeuring, Andres Lh |
| 2009 | ICFP | Generic programming with fixed points for mutually recursive datatypes. | Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Lh, Johan Jeuring |
| 2008 | ICFP | Report on the tenth ICFP programming contest. | Eelco Dolstra, Jurriaan Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Lh, Clara Lh, Arie Middelkoop, Alexey Rodriguez, John van Schie |
| 2008 | ICFP | A lightweight approach to datatype-generic rewriting. | Thomas van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren |
| 2008 | PEPM | Heap recycling for lazy languages. | Jurriaan Hage, Stefan Holdermans |
| 2007 | ICFP | A generic usage analysis with subeffect qualifiers. | Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |
| 2006 | MPC | Generic Views on Data Types. | Stefan Holdermans, Johan Jeuring, Andres Lh, Alexey Rodriguez |