New Programming Book
Peter Van Roy and Seif Haridi:
This textbook brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms. It is designed for second-year to graduate courses in computer programming.…As far as we know, there is no other book with this breadth of coverage that is both practical and theoretically well-founded.
Drafts of the book are available online. The examples are in Mozart, reflecting an emphasis on concurrent programming.
