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
on the http://www.smlnj.org/ website.
The PLT Scheme program comes with tutorial material self
contained.
