+612 9045 4394
 
CHECKOUT
The Fun of Programming : Cornerstones of Computing - Jeremy Gibbons

The Fun of Programming

Cornerstones of Computing

Hardcover

Published: 27th March 2003
Ships: 7 to 10 business days
7 to 10 business days
RRP $387.99
$268.75
31%
OFF
or 4 easy payments of $67.19 with Learn more

Other Available Formats (Hide)

What will be the next revolution in software technology to follow XML and generics? Whatever it may be, it is likely to come from functional programming, where many of the key ideas of the last decade originated. In this textbook, the leading researchers of the field take you on a tour of the current hot topics in functional programming, with applications ranging from financial contracts to circuit design. There are also chapters on new idioms for structuring programs, such as monads and arrows. All new concepts are illustrated with many examples, and exercises appear throughout to further enliven the material. Several of the chapters describe a substantial piece of software, and most of these programs are collected on a website for free downloading.

This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday.

Preface - Fun with Binary Heap Trees; Chris Okasaki - Specification-based Testing with QuickCheck; Koen Claessen and John Hughes - Origami Programming; Jeremy Gibbons - Describing and Interpreting Music in Haskell; Paul Hudak - Mechanising Fusion; Ganesh Sittampalam and Oege de Moor - How to Write a Financial Contract; Simon Peyton Jones and Jean-Marc Eber - Functional Images; Conal Elliott - Functional Hardware Description in Lava; Koen Claessen, Mary Sheeran and Satnam Singh - Combinators for Logic Programming; Michael Spivey - Arrows and Computation; Ross Paterson - A Prettier Printer; Philip Wadler - Fun with Phantom Types; Ralf Hinze - Bibliography - Index -

ISBN: 9781403907721
ISBN-10: 1403907722
Series: Cornerstones of Computing
Audience: Tertiary; University or College
Format: Hardcover
Language: English
Number Of Pages: 280
Published: 27th March 2003
Publisher: Palgrave USA
Country of Publication: US
Dimensions (cm): 25.2 x 20.0  x 2.0
Weight (kg): 0.75
Edition Number: 1