Comparing approaches to generic programming in Haskell (2006)
Hinze, R., Jeuring, J.T., Löh, A.
The last decade has seen a number of approaches to data- type-generic programming: PolyP, Functorial ML, `Scrap Your Boiler- plate', Generic Haskell, `Generics for the Masses', etc. The approaches...
Comparing approaches to generic programming in Haskell (2006)
Hinze, R., Jeuring, J.T., Löh, A.
The last decade has seen a number of approaches to generic programming: PolyP, Functorial ML, `Scrap Your Boilerplate', Generic Haskell, `Generics for the Masses', etc. The approaches vary in...
Generic views on data types (2006)
Holdermans, S., Jeuring, J.T., Löh, A., Rodriquez, A.
A generic function is defined by induction on the structure of types. The structure of a data type can be defined in several ways. For example, in PolyP a pattern functor gives the structure of a...
Generic views on data types (2006)
Holdermans, S., Jeuring, J.T., Löh, A., Rodriquez, A.
A generic function is defined by induction on the structure of types. The structure of a data type can be defined in several ways. For example, in PolyP a pattern functor gives the structure of a...
Typed Contracts for Functional Programming (2006)
Hinze, R., Jeuring, J.T., Löh, A.
A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses the...
Typed Contracts for Functional Programming (2006)
Hinze, R., Jeuring, J.T., Löh, A.
A robust software component fulfills a contract: it expects data satisfying a certain property and promises to return data satisfying another property. The object-oriented community uses the...
Type Inference for Generic Haskell (2005)
Rodriquez, A., Jeuring, J.T., Löh, A.
The more expressive a type system, the more type information has to be provided in a program. Having to provide a type is sometimes a pain, but lacking expressivity is often even worse. There is a...
Generic Haskell User's Guide -- Version 1.42 (Coral) (2005)
Löh, A., Jeuring, J.T., Clarke, D.G., Hinze, R., Rodriguez, A., Wit, J De
Exploring Generic Haskell (2004)
This thesis is an exploration -- an exploration of a language extension of the functional programming language Haskell. The extension is called Generic Haskell, albeit the name has been used to refer...
Type-indexed data types (2003)
Hinze, R., Jeuring, J.T., Löh, A.
A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in...
Type-indexed data types (2002)
Hinze, R., Jeuring, J.T., Löh, A.
A polytypic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of polytypic functions are the functions that can be derived in...
The generic HASKELL user's guide : version 0.99 - Amber release (2001)
Clarke, D., Hinze, R., Jeuring, J.T., Löh, A., Wit, J. De
Software development often consists of designing datatypes around which functionality is added. Some functionality is datatype specific, whereas other functionality is defined on almost all datatypes...