Bibliografia

Bibliografia essencial

• J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Livro em preparação: os capítulos relevantes para esta disciplina são o segundo, o terceiro e o quarto .

Bibliografia complementar

• A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. Documento em preparação: (PDF).

• R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor.

• Graham Hutton. Programming in Haskell. Cambridge University Press, 2007

• P. Hudak. The Haskell School of Expression - Learning Functional Programming Through Multimedia. Cambridge University Press, 1st edition, 2000. ISBN 0-521-64408-9.

-- JoseNunoOliveira - 14 Feb 2012