A Lightweight Approach to Datatype-Generic Rewriting (2009)
Thomas Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren
Previous implementations of generic rewriting libraries have a number of limitations: they require the user to either adapt the datatype on which rewriting is applied, or the rewriting rules are...
Comparing Libraries for Generic Programming in Haskell (2009)
Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Alexey Rodriguez, ...
Datatype-generic programming is defining functions that depend on the structure, or “shape”, of datatypes. It has been around for more than 10 years, and a lot of progress has been made, in...
Morph Endo! Report on the Tenth Interstellar Contest on Fuun Programming (2008)
Eelco Dolstra, Jur Hage, Bastiaan Heeren, Stefan Holdermans, Johan Jeuring, Andres Löh, ...
Generic programming with fixed points for mutually (2008)
Alexey Rodriguez, Stefan Holdermans, Andres Löh, Johan Jeuring, Alexey Rodriguez, Stefan Holdermans, ...
recursive datatypes
The Generic H A SKELL Team (2008)
Andres Löh, Johan Jeuring, Thomas Van Noort, Alexey Rodriguez, Dave Clarke, Ralf Hinze, ...
www.cs.uu.nl
A Lightweight Approach to Datatype-Generic Rewriting (2008)
Thomas Van Noort, Alexey Rodriguez, Stefan Holdermans, Johan Jeuring, Bastiaan Heeren, Thomas Noort, ...
Generic views on data types (2006)
Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez
Abstract. 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...
Generic views on data types (2006)
Stefan Holdermans, Stefan Holdermans, Johan Jeuring, Johan Jeuring, Andres Löh, Andres Löh, ...
Abstract. 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...
Type inference for generic Haskell (2005)
Alexey Rodriguez, Johan Jeuring, Andres Löh
Abstract. 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....
The Generic Haskell User's Guide - Version 1.42 - Coral release (2005)
Andres Löh, Johan Jeuring, Andres Löh (editor, Johan Jeuring (editor, Dave Clarke, Jan De Wit, ...
Contents SKELL? 5 1.1 Generic programming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 SKELL overview . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Installation 6 2.1...
Type inference for generic Haskell (2005)
Alexey Rodriguez, Johan Jeuring, Andres Löh, Alexey Rodriguez, Johan Jeuring, Andres Löh
Abstract. 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....