Last modified: 2022-07-31
This is a course page of
David Casperson
Associate Professor
Computer Science
University of Northern British Columbia

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 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
Home page Semesters Site Map
go back Fall 2022 go forward
2022-12 other links

Java
CPSC 200 [Other years]
CPSC 370 [Other years]
Homework
David’s Schedule

UNBC Undergraduate Calendar
Dates
Computer Science (BSc)
Regulations