The Functional Approach To Programming

In this work, the authors emphasize the notions of function and function application which relate programming to familiar concepts from mathematics and logic. T... » 

In this work, the authors emphasize the notions of function and function application which relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. «