Concurrent ML (CML) is a high-level, high-performance language for concurrent programming. It is cm extension of Standard ML (SML) IMTH901, and is implemented on top of Standard MLof New Jersey (SML/NJ) 1w871. CMLisapracticallanguage andisbeing usedto build real systems. It demonstrates that we need not sacrifice high-level notation in order to have good performance.

Although most research in the area of concurrent language design has been motivated by the desire to improve performance by exploiting multiprocessors, we believe that concurrency is a useful programming paradigm for certain application domains, For example, interactive systems often have a naturally concurrent structure[cpm~‘G86?‘ik891 “a901. Another example is distributed systems: most systems for distributed programming provide multi-threading at the node level (eg, Isis1BcJ+ 901 and~ gusILCJ~ n). Sequential programs in these application domains often must use complex and artificial control structures to schedule and interleave activities(eg, event-loops in graphics libraries). They are, in effect, simulating concurrency. These application domains need a high-level concurrent languagethat provides both efficient sequential execution and efficient concurrent execution: CML satisfies this need.