Thinking Functionally with Haskell

Richard Bird

Bog | Engelsk

Beskrivelse

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 eq…