A Critique of Standard ML

Abstract:

Standard ML is an excellent language for many kinds of programming. It is
safe, efficient, suitably abstract and concise. There are many aspects of the
language that work well. However, nothing is perfect: Standard ML has a few
shortcomings. In some cases there are obvious solutions, and in other cases
further research is required.

This technical report has been published as

A Critique of Standard ML. Andrew W. Appel, Journal of
Functional Programming 3(4) 391-430, 1993.