F. Nielson , Aarhus University, Aarhus, Denmark

ML with Concurrency

Design, Analysis, Implementation, and Application

Both functional and concurrent programming are relatively new paradigms with great promise. In this book, a survey is provided of extensions to Standard ML, one of the most widely used functional languages, with new primitives for concurrent programming. Computer scientists and graduate students will find this a valuable guide to this topic.

Monographs in Computer Science, Springer-Verlag.
1996. Approx. 260 pp., Hardcover ISBN 0-387-94875-9


Table of contents:
The essence of concurrent ML.
Concurrency in Poly/ML.
CCS programming in a ML Framework: an account of LCS.
Facile: from toy to tool.
A semantic theory for ML higher order concurrency primitives
Communication analysis for concurrent ML.


CNRS LAAS OLC Group
Last updated: Thursday, September 4 12:58:24 MET DST 1997