Commentary on Standard ML - Milner, Robin (Massachusetts Institute of Technology, 1991)