Concurrent Programming in ML by John H. Reppy
Cambridge University Press | 2007 | ISBN: 0521714729 | 325 pages | PDF | 5 Mb
The main focus of the book is on the practical use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in CML, this book presents three extended examples of using CML for systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces.
This book includes a chapter on the implementation of concurrency using features provided by the SML/NJ system and provides many examples of advanced SML programming techniques. The appendices include the CML reference manual and a formal semantics of CML.
Code:
http://hotfile.com/dl/27053209/ae0ed15/9780511574962ConcProgML.rar.html