ML with Concurrency Design, Analysis, Implementation, and Application

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.