The resulting library is a much improved and extended

replacement of the initial basis defined in the 1990 Definition of

Standard ML.

\subsection*{\protect\color{\addcolor} Successor ML}

{\color{\addcolor}

In 2005, an effort began to``evolve'' Standard ML; Bob Harper suggested that the resulting language

be called Successor ML.

}

\thispagestyle{empty}

\input{overloading}

\thispagestyle{empty}

\input{app5}

\thispagestyle{empty}

\input{whatisnew}