You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
432 pages • first pub 2004 (view editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the last decade as a standard for lazy functional programming, a programmi...
Community Reviews
Content Warnings
432 pages • first pub 2004 (view editions)
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming in Haskell. Haskell emerged in the last decade as a standard for lazy functional programming, a programmi...
Community Reviews
Content Warnings