
The Fun of Programming
Red Globe Press
Published on 27. March 2003
Book
Paperback/Softback
VIII, 280 pages
978-0-333-99285-2 (ISBN)
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.
This book was edited in honour of Richard S.Bird, Professor of Computer Science at the University of Oxford, on his 60th birthday.
More details
Series
Edition
2003
Language
English
Place of publication
London
United Kingdom
Publishing group
Bloomsbury Publishing PLC
Target group
College/higher education
Dimensions
Height: 234 mm
Width: 156 mm
Thickness: 16 mm
Weight
442 gr
ISBN-13
978-0-333-99285-2 (9780333992852)
DOI
10.1007/978-1-349-91518-7
Schweitzer Classification
Other editions
Additional editions

Jeremy Gibbons | Oege De Moor
The Fun of Programming
Book
03/2003
Red Globe Press
€363.20
Shipment within 10-20 days
Persons
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.
OEGE DE MOOR is a Professor in Computer Science at the University of Oxford, and a Fellow of Magdalen College.
Content
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.