Concurrent programming in ML

In contrast, I didn't find much comparable material in The Design and Evolution of C++ 4. Languages discusses types and polymorphism but these seem just a little differently the than corresponding concepts in C + + OO programming. While the book's discussion on imperative languages can apply to portions of my daily work programming objects in C++, the most interesting behaviors of our programs derive from interactions between objects, so I would have welcomed rules for reasoning about object correctness.

[1]  Andrew W. Appel,et al.  A runtime system , 1990, LISP Symb. Comput..

[2]  Luca Cardelli,et al.  Squeak: a language for communicating with mice , 1985, SIGGRAPH.

[3]  M. Douglas McIlroy,et al.  Squinting at power series , 1990, Softw. Pract. Exp..

[4]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[5]  Michael Goldsmith,et al.  Programming in occam 2 , 1985, Prentice Hall international series in computer science.

[6]  John H. Reppy,et al.  First-Class Synchronous Operations in Standard ML , 1989 .

[7]  Andrew W. Appel,et al.  Simple generational garbage collection and fast allocation , 1989, Softw. Pract. Exp..

[8]  Gregory R. Andrews,et al.  Concepts and Notations for Concurrent Programming , 1983, CSUR.

[9]  Mitchell Wand,et al.  Continuation-Based Multiprocessing , 1980, High. Order Symb. Comput..

[10]  Andrew W. Appel,et al.  Continuation-passing, closure-passing style , 1989, POPL '89.