A general-purpose programming language with a major project focus is Standard ML. For the benefit of users and implementers alike, as well as everyone else involved with the language, this book offers a formal description of Standard ML. ...