Oi Ricardo,

   Não conheço os livros que você mencionou.  Os livros de Benjamin Pierce, Types and Programming Languages e Basic Category Theory for Computer Scientists, são textos padrões na área deles.  Alem de TaPL ser bem acessível por um auto-didático, há recursos na internet e mailing lists que oferecem apoio.  A linguagem usada para as implementações é SML.  Ainda não tive tempo para encarar o livro de Category Theory.

   um abraço,

   Perry

2012/12/21 Ricardo Boccato Alves <boccato@gmail.com>

http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1

_______________________________________________
haskell-br mailing list
haskell-br@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-br