Goodreads helps you keep track of books you want to read.
Start by marking “The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)” as Want to Read:
The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)
Enlarge cover
Rate this book
Clear rating
Open Preview

The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing)

3.68  ·  Rating Details ·  96 Ratings  ·  5 Reviews
Paperback, 426 pages
Published May 7th 2004 by Kings College Publications
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about The Haskell Road to Logic, Maths and Programming, please sign up.

Be the first to ask a question about The Haskell Road to Logic, Maths and Programming

Community Reviews

(showing 1-30)
filter  |  sort: default (?)  |  Rating Details
Jon Gauthier
Mar 20, 2012 Jon Gauthier rated it liked it
Recommends it for: Students of mathematics with an interest in its FP applications
Without a doubt, the math contents of this book were over my head. I originally picked The Haskell Road more for its relation to functional programming than to anything else. For this reason, the chapters on induction, recursion and corecursion were more enlightening and understandable than any other section. For a kid with no formal mathematical training, though, the proofs in this book (mostly those in the later chapters) were often beyond my reach.

If an exercise like the following sounds like
...more
Maiz Lulkin
Jan 04, 2010 Maiz Lulkin rated it it was amazing
The most hard core programming language ever - Haskell - presented in a really different and thought provoking way. For those interested in this topics - functional languages, logics and mathematical foundations - i think it's must have.
Nick Black
Dec 03, 2007 Nick Black rated it really liked it
freakin' awesome!
Joost
Jul 11, 2012 Joost rated it really liked it
Shelves: to-re-read
Didn't finish yet. Need to pick it up again at a later point in time.
Ebony
Ebony rated it it was amazing
Feb 07, 2014
András Kovács
András Kovács rated it really liked it
Sep 19, 2014
David H. Friedman
David H. Friedman rated it really liked it
Aug 22, 2012
Andrew Cowie
Andrew Cowie rated it did not like it
Feb 02, 2017
Chathura Colombage
Chathura Colombage rated it it was amazing
Aug 23, 2013
David
David rated it really liked it
May 24, 2015
Vladimir
Vladimir rated it really liked it
Aug 26, 2014
Piotr
Piotr rated it really liked it
Dec 04, 2011
Jovany Agathe
Jovany Agathe rated it it was ok
Nov 26, 2016
Aliaksey Artamonau
Aliaksey Artamonau rated it it was amazing
Mar 15, 2014
Chris Shaver
Chris Shaver rated it it was ok
May 17, 2014
Dan Barowy
Dan Barowy rated it did not like it
Apr 09, 2015
Gwen
Gwen rated it really liked it
Dec 05, 2014
Ayesha
Ayesha rated it liked it
Aug 10, 2012
Nguyen Tule
Nguyen Tule rated it really liked it
Nov 07, 2013
Guillermo Bayon del Oso
Guillermo Bayon del Oso rated it really liked it
Dec 25, 2014
Jesse Taylor
Jesse Taylor rated it really liked it
Apr 12, 2011
Giorgos
Giorgos rated it really liked it
Nov 21, 2012
Paul Baxter
Paul Baxter rated it it was amazing
Aug 01, 2015
Alexander Korneev
Alexander Korneev rated it really liked it
Dec 30, 2011
Abhijeet Kumar
Abhijeet Kumar rated it liked it
Jan 15, 2016
Jonas
Jonas rated it really liked it
Oct 16, 2015
Chris
Chris rated it really liked it
Dec 25, 2012
Mkfs
Mkfs rated it really liked it
Aug 06, 2015
Thomas Hellinger
Thomas Hellinger rated it really liked it
Mar 19, 2015
Matthew M
Matthew M rated it liked it
Jan 10, 2015
« previous 1 3 4 next »
There are no discussion topics on this book yet. Be the first to start one »
  • Pearls of Functional Algorithm Design
  • Types and Programming Languages
  • Purely Functional Data Structures
  • Real World Haskell: Code You Can Believe In
  • The Seasoned Schemer
  • Haskell: The Craft of Functional Programming
  • An Introduction to Functional Programming Through Lambda Calculus
  • The Haskell School of Expression: Learning Functional Programming Through Multimedia
  • Conceptual Mathematics: A First Introduction To Categories
  • Lisp in Small Pieces
  • Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP
  • The Scheme Programming Language
  • Practical Common LISP
  • Erlang and OTP in Action
  • Elements of Programming
  • Learn You a Haskell for Great Good!
  • Concepts, Techniques, and Models of Computer Programming
  • A Book of Abstract Algebra

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »

Share This Book