Title Cabal Configurations
Student Thomas Schilling
Mentor Michael Isaac Jones
Abstract
The idea is to implement Cabal configurations, which allow packages to be configured differently depending on many environmental parameters, like OS, version numbers of its dependencies, etc.

A lot of thought has been given into which features are required and how difficult it would be to implement. Cf. eg. [1] and [2]

    [1] .. http://hackage.haskell.org/trac/hackage/ticket/27
    [2] .. http://www.mail-archive.com/cabal-devel at haskell dot org/msg00282.html

Thus, the main focus of this project will be to try to actually implement the proposals and see how far we can get, ie., which approximations/heuristics to chose, as those things are in general NP-complete (I have no formal proof at hand right now, though).