Commentary on standard ML - Milner, Robin (The MIT Press, 1991)