Concepedia

Stefan Holdermans

SH

Statistics

Publications

7

Citations

198

H-Index

7

Active since

2007

Affiliations

Utrecht University(Current)

Vector Fabrics (Netherlands)

Open University of the Netherlands

Radboud University Nijmegen

Stefan Holdermans is an author at Utrecht University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisAutomated ReasoningSoftware AnalysisFormal VerificationSoftware EngineeringComputational ComplexityMathematical Programming

Publications per year

2007–2010

7

Publications

7

Generic programming with fixed points for mutually recursive datatypes

Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Löh et al. · 2009 · 66 citations

Mathematical Programming, Engineering, Data Type +15

A lightweight approach to datatype-generic rewriting

Thomas van Noort, Alexey Rodriguez, Stefan Holdermans et al. · 2008 · 39 citations

Engineering, Lightweight Approach, Generic Functions +19

Optimizing generics is easy!

José Pedro Magalhães, Stefan Holdermans, Johan Jeuring et al. · 2010 · 26 citations

Mathematical Programming, Engineering, Compiler Technology +21

A generic usage analysis with subeffect qualifiers

Jurriaan Hage, Stefan Holdermans, Arie Middelkoop · 2007 · 21 citations

Engineering, Verification, Software Engineering +20

A lightweight approach to datatype-generic rewriting

Thomas van Noort, Alexey Rodriguez Yakushev, Stefan Holdermans et al. · Journal of Functional Programming · 2010 · 20 citations

Engineering, Lightweight Approach, Type Families +16

1–5 of 7