Definition of Standard ML, Revised Edition

Robin Milner, Mads Tofte, David MacQueen, Robert Harper