Bibliografie
Structure and Interpretation of Computer Programs
, Harold Abelson and Gerald Jay Sussman , disponibilă liber la
http://mitpress.mit.edu/sicp/
sunt interesante primele 2 capitole
The Racket Reference
,
http://docs.racket-lang.org/reference/index.html
este mai ales interesant capitolul 4
Quick Racket Cheatsheet
, creat echipa de PP.
Learn You a Haskell for Great Good!
, Miran Lipovaca, disponibilă liber online la
http://learnyouahaskell.com/
Haskell.org
,
http://haskell.org
Real World Haskell
, Bryan O'Sullivan, Don Stewart, and John Goerzen, disponibilă liber online la
http://book.realworldhaskell.org/
mai ales primele 8-9 capitole
Haskell: the Craft of Functional Programming
, Simon Thompson,
http://www.haskellcraft.com
Haskell CheatSheet
, Justin Bailey,
http://cheatsheet.codeslower.com/
Haskell Wikibook
,
https://en.wikibooks.org/wiki/Haskell
prolog :- tutorial
, J.R.Fisher, disponibil la
http://www.cpp.edu/~jrfisher/www/prolog_tutorial/contents.html
Prolog Wikibook
,
https://en.wikibooks.org/wiki/Prolog
Handbook of Practical Logic and Automated Reasoning
, John Harrison, Cambridge University Press
Introduction to Logic
, Michael Genesereth, disponibil liber online la
https://www.coursera.org/course/intrologic