The Free On-line Dictionary of Computing (30 December 2018):

Concurrent ML

    (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.

   (ftp://ftp.cs.cornell.edu/pub/).

   E-mail:  (bugs).

   ["CML: A Higher-Order Concurrent Language", John H. Reppy,
   SIGPLAN Notices 26(6):293-305, June 1991].

   (2000-08-09)