CML -
1. A query language. "Towards a Knowledge Description Language", A.
Borgida et al, in On Knowledge Base Management Systems, J. Mylopoulos et al
eds, Springer 1986.
2. Concurrent ML. J. Reppy, Cornell 1990. A concurrent extension of
SML/NJ, supporting dynamic thread creation and synchronous message passing
on typed channels. Threads are implemented using first-class
continuations. "CML: A Higher-Order Concurrent Language", John H. Reppy,
SIGPLAN Notices 26(6):293-305 (June 1991).
ftp://ftp.cs.cornell.edu/pub/CML-0.9.8.tar.Z
info: cml-bugs@cs.cornell.edu
Comments, Experience, Additions
Next Language: C+@