[haskell-br] Teoria de Tipos

[Flavio Botelho]

Também recomendo o TaPL. Bastante amigável de ler para quem está começando.
Tem alguns papers que podem ser bons motivadores como "Why dependent types
matter?".



2012/12/21 Perry James <perry.james at computer.org>

> 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 at 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-br
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-br/attachments/20121221/594d6b0b/attachment.htm>