The MLton docs include a directory of reference material. Useful links out to a number of Standard ML related stuff. Also some stuff on type theory more generally.