Haskell: del.icio.us tag/haskell
Development Programming practice program Contests challenge acm
haskell program verification types constructivism ghc acm
