CPSC 370: Functional and Logic Programming (Fall 2022)

References

Web references (other than online books) :

Haskell

• Hoogλe is an essential tool for exploring the standard Haskell libraries.
• haskell.org has download options, an online code execution facility.
• The Haskell wiki has many useful links.

Scheme and Racket

• The Racket (was PLT Scheme) program comes with tutorial material self contained.

Standard ML

• Other good tutorial material on Standard ML can be found here on the http://www.smlnj.org/ website.

Books:

General
I have copies of

• Implementing Functional Languages by Simon Peyton Jones and David Lester. out of print, but available online here.
• Purely Functional Data Structures by Chris Okasaki.

Haskell

• Miran Lipovača, Learn You a Haskell for Great Good: A Beginner's Guide, This book used to be easily available online. It is now slightly harder to acceess. Try here for .pdf, or order it from No Starch Press.
• Bryan O'Sullivan, Don Stewart, and John Goerzen, Real World Haskell, O'Reilly, 2008, online here.

Prolog

• W.F. Clocksin and C.S. Mellish, Programming in Prolog, fourth edition, Springer Verlag, 1994.

Advanced Prolog Texts

• Leon Sterling and Ehud Shapiro, The Art of Prolog: Advanced Programming Techniques, second edition, The MIT Press, 1986,

Scheme

• Daniel P. Friedman and Matthias Felleisen, The Little Schemer, fourth edition, The MIT Press, 1996, Do not let the apparent simplicity fool you! This is a deep book..
• Daniel P. Friedman and Matthias Felleisen, The Seasoned Schemer, The MIT Press, 1996, even deeper.

Standard ML

• Jeffrey D. Ullman, Elements of ML programming, second edition, Prentice Hall, 1998, a very nice introduction to Standard ML.
• Robert Harper, Programming in Standard ML (link updated 2021-05-22), second edition, Carnegie Mellon University, 2002,
• Riccardo Pucella, Notes on Programming in Standard ML of New Jersey, Cornell University, 2001, see the http://www.smlnj.org/ website..