Concurrent ML definition language
(CML) A concurrent
extension of SML/NJ
written by J. Reppy at Cornell University
in 1990. CML supports dynamic thread
creation and synchronous message passing
on typed channels. Threads are implemented using first-class continuations
. First-class synchronous operations allow users to tailor their synchronisation abstractions for their application. CML also supports both stream I/O and low-level I/O in an integrated fashion.
Latest version 0.9.8, as of 1994-12-21, requires SML/NJ 0.75 or later.
["CML: A Higher-Order Concurrent Language", John H. Reppy, SIGPLAN Notices 26(6):293-305, June 1991].