[Haskell-cafe] Looking for literature

[Claus Reinke]

>I'm trying to catch up with all the wonderful Haskell Types, classes, 
>Abstract Data Types, Algebraic Data Types, Types that give peoples 
>headaches and all the other, deeper stuff I have been happily putting off.

Hmm, do we need more pragmas?-)

{-# LANGUAGE TypesThatGivePeopleHeadaches #-}
{-# LANGUAGE DeeperStuffIHaveBeenHappilyPuttingOff #-}

Anyway, a good source of headaches are the research paper
links collected at haskell.org:

http://www.haskell.org/haskellwiki/Research_papers

Given your interests, in particular:

http://www.haskell.org/haskellwiki/Research_papers/Type_systems
http://www.haskell.org/haskellwiki/Research_papers/Data_structures

Claus