There are several implementations of SML available. The flagship implementation is the New Jersey implementation from Bell Laboratories, now a division of Lucent Technologies. This implementation is called SML/NJ. It is available for a variety of machine architectures running some flavour of Unix. It is also available for Microsoft Windows. All of the examples in this book have been tested on Linux using version 110.0.7. You can get it from [SML].
SML/NJ comes with a concurrent programming library known as Concurrent ML or CML. The major project in this book will be written as a concurrent program using CML.