The Definition of Standard ML [pdf] | Hacker News Reader