The Haskell Road to Logic, Math and Programming
A

The Haskell Road to Logic, Math and Programming

Haskell
Haskell functional programming logic mathematics proofs recursion type systems
Author
Kees Doets, Jan van Eijck
Year
2004
Language
English
34
Rate this book

To read the book, log in / register

Preview fragment

Similar books

Haskell Programming from First Principles

Haskell Programming from First Principles

Christopher Allen, Julie Moronuki

Get Programming with Haskell

Get Programming with Haskell

Will Kurt

Programming in Haskell

Programming in Haskell

Graham Hutton

Haskell Data Analysis Cookbook

Haskell Data Analysis Cookbook

Nishant Shukla

MATH FOR PROGRAMMING: Learn the Math, Write Better Code

MATH FOR PROGRAMMING: Learn the Math, Write Better Code

Ronald T. Kneusel

Get Programming with Go

Get Programming with Go

Nathan Youngman, Roger Peppé

Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming

Effective Haskell: Solving Real-World Problems with Strongly Typed Functional Programming

Rebecca Skinner

From Ruby to Golang: A Ruby Programmer’s Guide to Learning Go

From Ruby to Golang: A Ruby Programmer’s Guide to Learning Go

Joel Bryan Juliano

Learn You a Haskell for Great Good! A Beginner's Guide

Learn You a Haskell for Great Good! A Beginner's Guide

Miran Lipovaca

Functional Python Programming, Third Edition

Functional Python Programming, Third Edition

Steven F. Lott