Haskell's type classes allow ad-hoc overloading, or type-indexing, of functions. A natural
generalisation is to allow type-indexing of data types as well. It turns out that this idea …

Haskell's deriving mechanism supports the automatic generation of instances for a number
of functions. The Haskell 98 Report only specifies how to generate instances for the Eq, Ord …

The recent years have seen a number of proposals for extending statically typed languages
by dynamics or generics. Most proposals---if not all---require significant extensions to the …

Software testing is a labor-intensive, and hence expensive, yet heavily used technique to
control quality. In this paper we introduce Gast, a fully automatic test tool. Properties about …

LNCS 2793 - Chapter 1. Generic Haskell: Practice and Theory Page 1 Generic Haskell:
Practice and Theory Ralf Hinze1 and Johan Jeuring2,3 1 Institut für Informatik III, Universität …

We present a uniqueness type system that is simpler than both Clean's uniqueness system
and a system we proposed previously. The new type system is straightforward to implement …

We present a lightweight, automated tool for specification-based testing of declarative
programs written in the functional logic programming language Curry and emphasize the …

A generic function is a function that can be instantiated on many data types to obtain data
type specific functionality. Examples of generic functions are the functions that can be …

We introduce the sum-of-products (SOP) view for datatype-generic programming (in
Haskell). While many of the libraries that are commonly in use today represent datatypes as …

Proefschrift ter verkrijging van de graad van doctor aan de Universiteit Utrecht op gezag van
de Rector Magnificus, Prof. dr. WH Gispen, ingevolge het besluit van het College voor …