The study of educational leadership makes little sense unless it is in relation to who the leaders are, how they are leading, what is being led, and with what effect. Based on the premise that learning is at the heart of leadership and that leaders themselves should be learners, the Leadership for Learning series explores the connections between educational leadership, policy, curriculum, human resources and accountability. Each book in the series approaches its subject matter through a three-fold structure of process, themes and impact.

Series Editors - Clive Dimmock, Mark...

The study of educational leadership makes little sense unless it is in relation to who the leaders are, how they are leading, what is being led, and with what effect. Based on the premise that learning is at the heart of leadership and that leaders themselves should be learners, the Leadership for Learning series explores the connections between educational leadership, policy, curriculum, human resources and accountability. Each book in the series approaches its subject matter through a three-fold structure of process, themes and impact.

Series Editors - Clive Dimmock, Mark...

Richard Bird takes a radically new approach to algorithm design, namely, design by calculation. These 30 short chapters each deal with a particular programming problem drawn from sources as diverse as games and puzzles, intriguing combinatorial tasks, and more familiar areas such as data compression and string matching. Each pearl starts with the statement of the problem expressed using the functional programming language Haskell, a powerful yet succinct language for capturing algorithmic ideas clearly and simply. The novel aspect of the book is that each solution is calculated from an...

Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku...

Richard Bird is famed for the clarity and rigour of his writing. His new textbook, which introduces functional programming to students, emphasises fundamental techniques for reasoning mathematically about functional programs. By studying the underlying equational laws, the book enables students to apply calculational reasoning to their programs, both to understand their properties and to make them more efficient. The book has been designed to fit a first- or second-year undergraduate course and is a thorough overhaul and replacement of his earlier textbooks. It features case studies in Sudoku...