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
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
