AD1 Resources

• CLRS textbook: website at MIT Press, errata, MIT OpenCourseWare

• Algorithm Design: Foundations, Analysis, and Internet Examples, a textbook by Michael T. Goodrich and Roberto Tamassia, published by John Wiley & Sons in 2002, including animations

• Data Structure Visualizations by David Galles at USFCA, USA

• Dictionary of Algorithms and Data Structures by Paul E. Black at NIST, USA

• The Stony Brook Algorithm Repository by Steven Skiena at SUNYSB, USA, based on his textbook The Algorithm Design Manual

• Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1998. (SML code)

• Robert Harper. Programming in Standard ML. Carnegie Mellon University, 2007. (Freely downloadable!)

• Michael R. Hansen and Hans Rischel. Introduction to Programming using SML (errata). Addison-Wesley, 1999.

• Jeffrey D. Ullman. Elements of ML Programming, second edition. Prentice Hall, 1997

• Lawrence C. Paulson. ML for the Working Programmer, second edition. Cambridge University Press, 1996.

• Greg J. Michaelson. Elementary Standard ML. UCL Press, 1995. (Freely downloadable!)

• Riccardo Pucella: Notes on Programming SML / NJ

• Stephen Gilmore: Programming in Standard ML'97: An On-line Tutorial

• Moscow ML, a light-weight implementation of SML

• MLton, an open-source, whole-program, optimising SML compiler

• Pure, a functional programming language based on term rewriting

• Standard ML of New Jersey, an open-source SML compiler with associated libraries, tools, and documentation

• Standard ML of New Jersey: User's Guide

• Standard ML Basis Library

• Philip Wadler: Functional Programming Column at ACM SIGPLAN Notices

• Frequently Asked Questions about ML

• FAQ on Hardware and Software at the IT Department

• Unix tips