Bibliografia

Bibliografia essencial

• J.N. Oliveira. Program Design by Calculation. Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação) essenciais para esta disciplina no corrente ano lectivo são o segundo ( 619K), o terceiro ( 621K) e o quarto ( 606K).

(NB: O anexo e a bibliografia deste texto estão diponíveis aqui.)

Bibliografia complementar

• A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005. (290k).

• 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

• S. Marlow. Parallel and Concurrent Programming in Haskell. O’Reilly, 2013. ISBN 1449335942.

-- JoseNunoOliveira - 13 Feb 2017