Synopses & Reviews
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.
Table of Contents
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.