S
Stefan Holdermans
Researcher at Utrecht University
Publications - 18
Citations - 354
Stefan Holdermans is an academic researcher from Utrecht University. The author has contributed to research in topics: Haskell & Functional programming. The author has an hindex of 10, co-authored 18 publications receiving 352 citations.
Papers
More filters
Proceedings ArticleDOI
Generic programming with fixed points for mutually recursive datatypes
TL;DR: This work describes a technique that allows a fixed-point view for systems of mutually recursive datatypes using Haskell's GADTs and type families and demonstrates that this approach is widely applicable by giving several examples of generic functions for this view.
Proceedings ArticleDOI
A lightweight approach to datatype-generic rewriting
TL;DR: This work describes a library that demonstrates how to overcome limitations by defining rules in terms of datatypes, and shows how to use a type-indexed datatype to automatically extend adatatype for syntax trees with a case for metavariables.
Journal Article
Generic views on data types
TL;DR: In this article, the authors introduce generic views on data types and show how generic views have been added to Generic Haskell, an extension of the functional programming language Haskell that supports the construction of generic functions.
Book ChapterDOI
Generic views on data types
TL;DR: In this article, the authors introduce generic views on data types and show how generic views have been added to Generic Haskell, an extension of the functional programming language Haskell that supports the construction of generic functions.
Proceedings ArticleDOI
Optimizing generics is easy
TL;DR: An extensive benchmark suite for generic functions is presented and it is confirmed that generic programs, when compiled with the standard optimization flags of the Glasgow Haskell Compiler (GHC), are substantially slower than their hand-written counterparts, but it is also found that more advanced optimization capabilities of GHC can be used to further optimize generic functions.