CPSC 370: Functional and Logic Programming (Fall 2013)

References

Books:

Standard ML

• Jeffrey D. Ullman, Elements of ML programming, second edition, Prentice Hall, 1998, a very nice introduction to Standard ML.

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.

Prolog

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

Advanced Prolog Texts

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

Web references:

• 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 web-site below.
• Other good tutorial material on Standard ML can be found here on the http://www.smlnj.org/ website.
• The Racket (was PLT Scheme) program comes with tutorial material self contained.