Concurrent ML

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


E-mail: <[email protected]> (bugs).

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

< Previous Terms Terms Containing Concurrent ML Next Terms >
Concurrent CLU
Concurrent Constraint Programming
Concurrent Euclid
Concurrent LISP
Concurrent Massey Hope
Cornell University
Standard ML
Concurrent Oberon
Concurrent Object-Oriented C
Concurrent Object-Oriented Language
Concurrent Pascal
Concurrent Prolog