The Definition of Standard ML (Revised) — Robin Milner, Mads Tofte, Robert Harper, David MacQueen | Kutubxona