Cover of The Haskell Road to Logic, Maths and Programming: v. 4

The Haskell Road to Logic, Maths and Programming: v. 4

by Kees Doets, Jan van Eijck · 2004

+ Want to read

A book that presents mathematical logic and proof structure using the Haskell functional programming language, and presents Haskell using mathematical logic and proof structure.

Subject
sciencescienceMore like thisLess of this
Themes
technologytechnologyMore like thisLess of this
Audience
adult
Length
long · 426 pages

Click a tag to see books like this one that share it. Point at it (on a phone, tap it) for less of it instead.

Read it? Sign in to help tag it.

BuyAmazonGoogle Books

BorrowOpen LibraryA library near you

MoreCompare pricesHardcover

Liked The Haskell Road to Logic, Maths and Programming: v. 4? Here’s where I’d start.

These suit anyone who liked The Haskell Road to Logic, Maths and Programming: v. 4. Sign in and mark a few books for picks shaped around your own taste.

  1. Real World Haskell: Code You Can Believe In Bryan O'Sullivan, John Goerzen, Donald Bruce Stewart · 2008 Shares programming, haskell, computer science
  2. Haskell: The Craft of Functional Programming Simon Thompson · 1996 Shares programming, haskell, computer science
  3. The Haskell School of Expression: Learning Functional Programming Through Multimedia Paul Hudak · 2000 Shares haskell, programming, computer science
  4. Pearls of Functional Algorithm Design Richard S. Bird · 2010 Shares programming, computer science, haskell
See more recommendations →

“People who read The Haskell Road to Logic, Maths and Programming: v. 4 tend to reach for these next.”

  1. Types and Programming Languages Benjamin C. Pierce · 2002
  2. Purely Functional Data Structures Chris Okasaki · 1996
  3. An Introduction to Functional Programming Through Lambda Calculus Greg Michaelson · 1989
  4. Paradigms of Artificial Intelligence Programming: Case Studies in Common LISP Peter Norvig · 1991

“If you want more of the same (science about technology), start with these.”

  1. Programming in C Stephen G. Kochan · 1988
  2. Concurrency in C# Cookbook Stephen Cleary · 2014
  3. CUDA by Example: An Introduction to General-Purpose GPU Programming Jason Sanders, Edward Kandrot · 2010
  4. Understanding Cryptography: A Textbook For Students And Practitioners Christof Paar, Jan Pelzl · 2009

“If it was the programming that hooked you, try one of these.”

  1. Programming in Haskell Graham Hutton · 2006
  2. Parallel and Concurrent Programming in Haskell: Techniques for Multicore and Multithreaded Programming Simon Marlow · 2013
  3. Haskell Programming: From First Principles Christopher Allen, Julie Moronuki · 2015
  4. Learn You a Haskell for Great Good! Miran Lipovaca · 2011

“These start from a similar idea, even if they go somewhere else with it.”

  1. Letters to a Young Mathematician Ian Stewart · 2006
  2. Bemerkungen über die Grundlagen der Mathematik Ludwig Wittgenstein, Rush Rhees · 1956
  3. From Mathematics to Generic Programming Alexander A. Stepanov, Daniel E. Rose · 2014
  4. Seven More Languages in Seven Weeks Bruce A. Tate, Ian Dees, Frederic Daoud, Jack Moffitt · 2014

Report a problem