Peter Van Roy has a draft of his book "Concepts, Techniques, and Models of Computer Programming" available for download. The books uses the Mozart-Oz programming system for the examples.
In particular the book covers different models of concurrent programming which has been discussed on the langsmiths mailing list recently.
Fron the book abstract:
"We cover the three main models for concurrent programming, namely declarative concurrency, message-passing concurrency, and shared-state concurrency. Declarative concurrency is a little-known but extemely useful model that combines the advantages of delcarative programming with concurrency and lazy execution.
We cover th different ways to construct abstract data types including component-based and object-oriented programming. We cover relational and logic programming and many other models. We explain the models of the languages Erlang, Haskell, Java and Prolog.
We then present specialized models for user interface programming, distributed programming, and constraint programming."
3:07:16 PM 
|
