Alice ML is an extension of SML with concurrency, dynamic typing, components, distribution, and constraint solving.