Palgrave Macmillan Home
Login or Register    Shopping Basket Shopping Basket
Search 
 
 
 
 
The Fun of Programming
 
   Enlarge Image
 
 
The Fun of Programming
 
 
Palgrave Macmillan
 
 
 
 
 
27 Mar 2003
|
£90.00
|Hardback Out of Stock
  
9781403907721
||
 
 
27 Mar 2003
|
£48.99
|Paperback Print on Demand
  
9780333992852
||


OrderHelpBox
                                                                                                                                              returns, payment and delivery


DescriptionContentsAuthors

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.


Description

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.


Contents

Preface
Fun with Binary Heap Trees; C.Okasaki
Specification-based Testing with QuickCheck; K.Claessen & J.Hughes
Origami Programming; J.Gibbons
Describing and Interpreting Music in Haskell; P.Hudak
Mechanising Fusion; G.Sittampalam & O.de Moor
How to Write a Financial Contract; S.Peyton Jones & J-M.Eber
Functional Images; C.Elliott
Functional Hardware Description in Lava; K.Claessen, M.Sheeran & S.Singh
Combinators for Logic Programming; M.Spivey & S.Seres
Arrows and Computation; R.Paterson
A Prettier Printer; P.Wadler
Fun with Phantom Types; R.Hinze
Bibliography
Index


Authors

JEREMY GIBBONS is a Lecturer in Software Engineering and Continuing Education at the University of Oxford, and a Fellow of Kellogg College.

OEGE DE MOOR is a Professor in Computer Science at the University of Oxford, and a Fellow of Magdalen College.