Práticas
Prática 2 - 25/10/2021
Bibliografia e Ligações
Prática 3 -Semana 1/11/2021
Bibliografia e Ligações

  • SWA: Cap 2


Prática 4-Semana 15/11/2021
Bibliografia e Ligações

  • SWA: Cap 3.2


Prática 5-Semana 15-22/11/2021
Bibliografia e Ligações

  • SWA: Cap 4


Prática 6-Semana 29/11/2021
Bibliografia e Ligações
  • https://www.haskell.org
  • https://en.wikibooks.org/wiki/Haskell
  • http://learnyouahaskell.com/


Prática 7-Semana 6/12
/2021
Bibliografia e Ligações
  • https://plato.stanford.edu/entries/lambda-calculus/
  • https://en.wikipedia.org/wiki/Lambda_calculus
  • https://en.wikipedia.org/wiki/Simply_typed_lambda_calculus

Prática 8-Semana 13/12/2021
Bibliografia e Ligações
PLOS Cap. 6.1-6.3

Prática 9-Semana 3/01/2022
Bibliografia e Ligações
PLOS Cap. 6.4

CSPL Cap 3