[haskell-br] Teoria de Tipos

[Perry James]

Oi Ricardo,
   Não conheço os livros que você mencionou.  Os livros de Benjamin Pierce,
*Types and Programming Languages* <http://www.cis.upenn.edu/~bcpierce/tapl/>e
*Basic Category Theory for Computer
Scientists*<http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing/dp/0262660717/ref=sr_1_1?ie=UTF8&qid=1356136556&sr=8-1&keywords=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 em gmail.com>

> http://www.amazon.com/gp/aw/d/B009019QT6/ref=mp_s_a_1?qid=1356133716&sr=1-1
-------------- Pr?xima Parte ----------
Um anexo em HTML foi limpo...
URL: <http://www.haskell.org/pipermail/haskell-br/attachments/20121221/419e62d9/attachment.htm>