Programming in Standard ML
cs.cmu.edu