Ml With Concurrency: Design, Analysis, Implementation, And Application (monographs In Computer Science)

Standard ML is emerging as one of the most widely used functional programming languages. Equally, concurrent programming is becoming an increasingly important area of research and industrial application, and the integration of concurrency primitives is an active topic of development. This book surveys a number of recent approaches to the integration of the functional and concurrent paradigms and concentrates on extensions of Standard ML with new primitives for concurrency. The contributors cover the design of multi-paradigmatic languages, methods for describing their semantics, techniques for the analysis of fragments of the languages, and approaches to distributed implementation. As a result, computer scientists and graduate students will find this an invaluable overview of the current state of research on this topic. In addition, programmers may find this a useful opportunity to see what mixed functional and concurrent programming languages have to offer.

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.