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 and pretty-printing, and over 100
carefully selected exercises with solutions. This engaging text
will be welcomed by students and teachers alike.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!