Last modified: 2021-05-22
This is a course page of
David Casperson
Associate Professor
Computer Science
University of Northern British Columbia

CPSC 370: Functional and Logic Programming (2010)

This page needs updating

References

Books:
Standard ML
  • Jeffrey D. Ullman, Elements of ML programming, second edition, Prentice Hall, 1998, a very nice introduction to Standard ML. This book has been ordered through the UNBC Bookstore.
Scheme
  • Daniel P. Friedman and Matthias Felleisen, The Little Schemer, fourth edition, The MIT Press, 1996, on reserve in the library. 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.
Home page Semesters Site Map
go back Fall 2010 go forward
2024-10 other links

Software

CPSC 200
Java
Building .jar files
CPSC 370
Blackboard
Books
Course Outline
Policies
Programming Policies
Prolog Resources
Syllabus
David’s Schedule

University Calendar

fall-2024