"The Definition of Standard ML" - читать интересную книгу автора (Milner R., Tofte M., Harper R.)