Statistics
Publications
7
Citations
203
H-Index
7
Active since
2007
Stefan Holdermans is an author at Utrecht University specializing in computing, type systems, and programming languages.
Publications per year
2007–2010
7
7
Generic programming with fixed points for mutually recursive datatypes
Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh et al. · 2009 · 67 citations
A lightweight approach to datatype-generic rewriting
Thomas van Noort, Alexey Rodriguez, Stefan Holdermans et al. · 2008 · 40 citations
José Pedro Magalhães, Stefan Holdermans, Johan Jeuring et al. · 2010 · 27 citations
A generic usage analysis with subeffect qualifiers
Jurriaan Hage, Stefan Holdermans, Arie Middelkoop · 2007 · 21 citations
1–5 of 7