Projects

Master's Projects

These are on a separate page.

Current Projects

Comparing Generic Programming Libraries in Haskell

In this project we are comparing many generic programming libraries in Haskell. We have developed a benchmark, and a set of criteria, and we are working on implementing the benchmark in the different libraries. The results of this comparison will be used as input for:

Real-Life Datatype-Generic Programming

We want to design a common library for generic programming in Haskell. The idea is together with several library developers to combine the best of the existing libraries, and develop one or more stable libraries for generic programming in Haskell.

Previous Projects

PolyP

At Chalmers Patrik Jansson and Johan Jeuring have developed PolyP, an extension of Haskell with which polytypic functions can be written and type checked. Patrik Jansson and Ulf Norell have developed a generic programming library instead of a programming language extension with about the same functionaliy as PolyP.

Generic Haskell

Generic Haskell is an extension of the functional programming language Haskell that supports generic programming. Generic Haskell was developed in the context of an NWO-funded project. The project finished in 2004, but work on Generic Haskell and related issues continues. 2008 will see the last release of Generic Haskell.