A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming.