Zen Style Programming
by Nils M Holm
Publisher: Lulu Press 2008
Number of pages: 336
The first part of this book introduces the concept of functional programming, describes a language that fulfills all the requirements, and shows how to solve simple problems in it. The second part of the book shows how to apply the techniques of the first part to some problems of varying complexity. The third part, finally, shows how to implement the abstraction layer that is necessary for solving problems in an abstract way on a concrete computer.
Download or read it online for free here:
by Peter Van Roy, Seif Haridi - The MIT Press
Covered topics: concurrency, state, distributed programming, constraint programming, formal semantics, declarative concurrency, message-passing concurrency, forms of data abstraction, building GUIs, transparency approach to distributed programming.
by Jon Bentley - Addison-Wesley Professional
The book focuses on choosing the right algorithms and on showing how to solve problems effectively. Each chapter frames a particular programming task (sorting numbers, creating anagrams, counting the words). Code examples are written in C and C++.
by Lawrence C Paulson - University of Cambridge
This text teaches programming and presents some fundamental principles of computer science, especially algorithm design. The programming in this course is based on the language ML and mostly concerns the functional programming style.
by Allen Cypher - The MIT Press
Programming by Demonstration is a method that allows users to create programs by demonstrating what the program should do. The book describes 18 implementations of Programming by Demonstration, and discusses the problems for this method.