剧情简介：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 propert...(展开全部)
作者：Richard Bird
出版社：Cambridge University Press
ISBN：9781107452640
