PKD 10/11: Länkar och referenser

Några intressanta länkar och referenser som är relevanta för kursen.

Standard ML of New Jersey.
- Standard ML of New Jersey: User's Guide.
- Standard ML Basis Library
Moscow ML.
MLton, en open-source, globalt optimerande SML-kompilator.
En SML plug-in för utvecklingsmiljön Eclipse (tack till Oscar Almgren för länken).

Vanliga frågor (FAQ) om SML.
Wikipedia om SML.
Praktisk användning av funktionell programmering.
Robert Harper. Programming in Standard ML. Carnegie Mellon University, 2007. (Nedladdningsbar bok!)
Greg J. Michaelson. Elementary Standard ML. UCL Press, 1995. (Nedladdningsbar bok!)
Stephen Gilmore: Programming in Standard ML'97: An On-line Tutorial.
Riccardo Pucella: Notes on Programming SML / NJ.
Philip Wadlers spalt om funktionell programmering i ACM SIGPLAN Notices.
Pure, a funktionellt programspråk baserad på termomskrivning.

Michael R. Hansen and Hans Rischel. Introduction to Programming using SML (rättelser). 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.

CLRS textbook: website at MIT Press, rättelser, 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.
Dictionary of Algorithms and Data Structures by Paul E. Black.
The Stony Brook Algorithm Repository by Steven Skiena, based on his textbook The Algorithm Design Manual, second edition, at Springer-Verlag, 2008
Chris Okasaki. Purely Functional Data Structures (SML code). Cambridge University Press, 1998.