CP - Cálculo de Programas
Índice
| Apresentação |
|---|
| Equipa docente | Horário |
| Material |
| Sumários | Calendário |
| Regime de Avaliação |
| Alunos |
| Atendimento |
| Bibliografia |
| Anos anteriores |
CP/2324
Bibliografia
Bibliografia essencial
- J.N. Oliveira. Program Design by Calculation (2.6Mb), Dept. Informática, U.Minho. Os capítulos deste livro (em preparação). Versão mais recente:
Set. 2023. O capítulos essenciais para esta disciplina no corrente ano lectivo são o segundo, o terceiro e o quarto.
Bibliografia complementar
-
P.R. Pereira Cálculo de Programas. Dept. Informática, U.Minho, Out. 2021.
-
J.N. Oliveira A Quick Introduction to Polymorphic Type Checking. Dept. Informática, U.Minho, March 2011.
-
A. Cunha. Cálculo de Programas: notas teórico-práticas. Dept. Informática, U.Minho, 2005.
-
R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C.A.R. Hoare, series editor (BGUM 510.5-B).
-
P. Hudak. The Haskell School of Expression - Learning Functional Programming Through Multimedia. Cambridge University Press, 1st edition, 2000. ISBN 0-521-64408-9 (BGUM 519.68-H).