Re: [Haskell-cafe] Looking for literature

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