CPSC 370: Functional and Logic Programming
Click
the course outline for an
overview of the the course.
Click
the syllabus for a
list of topics covered.
References
- Books:
-
Standard ML
-
Jeffrey D. Ullman,
Elements of ML programming,
second edition,
Prentice Hall,
1998,
.
-
Scheme
-
Daniel P. Friedman and Matthias Felleisen,
The Little Schemer,
fourth edition,
The MIT Press,
1996,
.
-
Daniel P. Friedman and Matthias Felleisen,
The Seasoned Schemer,
The MIT Press,
1996,
.
-
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,
- 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,
.
- Other good tutorial material on Standard ML can be found
on the
http://www.smlnj.org/
website.
- The PLT Scheme program comes with tutorial material self
contained.