The Online Books Page

Haskell (Computer program language)

See also what's at Wikipedia, your library, or elsewhere.

• Declarative programming languages
• Functional programming languages

• Real World Haskell (2009), by Bryan O'Sullivan, Don Stewart, and John Goerzen (HTML with commentary at realworldhaskell.org)
• Exploring Generic Haskell (thesis, 2004), by Andres Löh
  • PDF at Utrecht University Repository
  • PDF on author's web site
• Learn You a Haskell for Great Good! A Beginner's Guide, by Miran Lipovača (illustrated HTML with commentary at learnyouahaskell.com)
• Developing Web Applications with Haskell and Yesod (free online editions for various versions), by Michael Snoyman (HTML with commentary at yesodweb.com)
• Category Theory for Programmers (free online edition), by Bartosz Milewski, ed. by Igal Tabacnik (illustrated HTML and PDF with commentary at bartoszmilewski.com and Github)

Items below (if any) are from related and broader terms.

• Learn You Some Erlang for Great Good!, by Fred Hébert (illustrated HTML with commentary at learnyousomeerlang.com)

• Learn Prolog Now! (electronic edition, c2008), by Patrick Blackburn, Johannes Bos, and Kristina Striegnitz (HTML with commentary at learnprolognow.org)
• The Art of Prolog: Advanced Programming Techniques (second edition; Cambridge, MA and London: MIT Press, c1994), by Leon Sterling and Ehud Y. Shapiro, contrib. by David H. D. Warren (PDF at dropbox.com)
• Artificial Intelligence Through Prolog (1988), by Neil C. Rowe (HTML at nps.edu)
• The Art of Prolog (first edition; Cambridge, MA and London: MIT Press, c1986), by Leon S. Sterling and Ehud Y. Shapiro (at dropbox.com)
• Prolog for Programmers (London et al.: Academic Press, 1985), by Feliks Kluźniak and Stanisław Szpakowicz, contrib. by Janusz St. Bień (multiple formats with commentary at Google Sites)
• An Introduction to Logic Programming Through Prolog (online edition, with supplementary material, 2010), by J. M. Spivey (PDF with commentary in the UK)
• Prolog and Natural Language Analysis (digital edition, 2002), by Fernando C. N. Pereira and Stuart M. Shieber (PDF with commentary at mtome.com)
• Logic, Programming, and Prolog (second edition; c2000), by Ulf Nilsson and J. Małuszyński (PDF with commentary in Sweden)
• Adventure in Prolog, by Dennis Merritt (illustrated HTML with commentary at amzi.com)
• Warren's Abstract Machine: A Tutorial Reconstruction, by Hassan Aït-Kaci (PDF and other formats at Sourceforge)
• Expert Systems in Prolog, by Dennis Merritt (HTML with commentary at amzi.com)

• Cloudera Impala (Sebastopol, CA et al: O'Reilly, c2014), by John Russell (page images at cloudera.com)
• Developing Time-Oriented Database Applications in SQL (San Francisco: Morgan Kaufmann Publishers, c2000), by Richard T. Snodgrass (PDF at Arizona)

• MySQL Reference Manual, by Michael Widenius and David Axmark (multiple formats with commentary at mysql.com)

• Implementing Functional Languages: A Tutorial (1992), by Simon L. Peyton Jones and David R. Lester (compressed formats at Microsoft)
• The Implementation of Functional Programming Languages (New York et al.: Prentice Hall, c1987), by Simon L. Peyton Jones, contrib. by Philip Wadler, Peter Hancock, and D. A. Turner (multiple formats at Microsoft)
• Purely Functional Data Structures (dissertation version, 1996), by Chris Okasaki (PDF at CMU)
• Clojure Cookbook (open source Github version; originally published 2014), by Luke VanderHart and Ryan Neufeld (HTML with commentary at Github)

• Common Lisp Quick Reference (electronic edition; version at time of cataloging from 2018), by Bert Burgemeister (PDF with commentary at boundp.org)
• Practical Common Lisp (Berkeley: Apress, 2005), by Peter Seibel (HTML with commentary at gigamonkeys.com)
• Common LISP: An Interactive Approach (New York: Computer Science Press, 1992), by Stuart Charles Shapiro (PDF and other formats with commentary at Buffalo)
• Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp (c1992), by Peter Norvig (multiple formats with commentary at Github)
• Practical Semantic Web and Linked Data Applications: Common Lisp Edition (c2010), by Mark Watson (PDF at markwatson.com)
• Common Lisp: A Gentle Introduction to Symbolic Computation, by David S. Touretzky (PDF and Postscript with supplementary software at CMU)
• Common Lisp the Language (second edition), by Guy Steele (HTML at CMU)
• On Lisp: Advanced Techniques for Common Lisp, by Paul Graham (PDF and Postscript with commentary at paulgraham.com)
• Successful Lisp, by David Lamkins (HTML at psg.com)

• Clojure for the Brave and True: Learn the Ultimate Language and Become a Better Programmer (c2015), by Daniel Higginbotham (illustrated HTML with commentary at braveclojure.com)
• Clojure Cookbook (open source Github version; originally published 2014), by Luke VanderHart and Ryan Neufeld (HTML with commentary at Github)

• Études for Elixir, ed. by J. David Eisenberg (HTML and other files at Github)

• Programming in Scala (first edition, 2008), by Martin Odersky, Lex Spoon, and Bill Venners (illustrated HTML with commentary at artima.com)
• Compiling Scala for the Java Virtual Machine (ca. 2005), by Michel Schinz (PDF in Switzerland)
• Scala Book (free online edition), by Alvin Alexander (multiple formats with commentary at alvinalexander.com)