http://www.itu.dk/~tofte/publ/tips.pdf
http://homepages.inf.ed.ac.uk/stg/NOTES/notes.pdf
A full book. It's good, but don't start with it: http://www.cs.cmu.edu/~rwh/smlbook/