Related Books

The Haskell Road to Logic, Maths and Programming
Language: en
Pages: 448

The Haskell Road to Logic, Maths and Programming

Authors: Kees Doets
Categories: Haskell (Computer program language)
Type: BOOK - Published: 2004 - Publisher: College Publications

DOWNLOAD EBOOK

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply ``There is no royal road to mathem
The Haskell Road to Logic, Maths and Programming. Second Edition
Language: en
Pages: 450

The Haskell Road to Logic, Maths and Programming. Second Edition

Authors: Kees Doets
Categories:
Type: BOOK - Published: 2004-05 - Publisher:

DOWNLOAD EBOOK

Long ago, when Alexander the Great asked the mathematician Menaechmus for a crash course in geometry, he got the famous reply There is no royal road to mathemat
Deontic Logic and Artificial Normative Systems
Language: en
Pages: 282

Deontic Logic and Artificial Normative Systems

Authors: Lou Goble
Categories: Computers
Type: BOOK - Published: 2006-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, held in Utrecht, Netherlands i
Pro Functional PHP Programming
Language: en
Pages: 301

Pro Functional PHP Programming

Authors: Rob Aley
Categories: Computers
Type: BOOK - Published: 2017-09-27 - Publisher: Apress

DOWNLOAD EBOOK

Bring the power of functional programming to your PHP applications. From performance optimizations to concurrency, improved testability to code brevity, functio
Thinking Functionally with Haskell
Language: en
Pages: 357

Thinking Functionally with Haskell

Authors: Richard Bird
Categories: Computers
Type: BOOK - Published: 2015 - Publisher: Cambridge University Press

DOWNLOAD EBOOK

This book introduces fundamental techniques for reasoning mathematically about functional programs. Ideal for a first- or second-year undergraduate course.