AD1 Resources
Algorithms and Data Structures
- CLRS textbook: website at MIT Press, errata, website at McGraw-Hill, on-line version at Google Books, MIT OpenCourseWare
- Dictionary of Algorithms and Data Structures at NIST, USA
- Chris Okasaki. Purely Functional Data Structures. Cambridge University Press, 1998. (SML code)
The SML Programming Language
- 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
- Philip Wadler: Functional Programming Column at ACM SIGPLAN Notices
IT Department