Cornerstones in Computing Series, Palgrave 2003.

Editors: Jeremy Gibbons and Oege de Moor
>

Description

In this textbook, leading researchers give tutorial expositions on the current state of the art of functional programming. The text is suitable for an undergraduate course immediately following an introduction to functional programming, and also for self-study. All new concepts are illustrated by plentiful examples, as well as exercises.

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

(Symposium, Preface and table of contents in pdf, paperback from Amazon, hardback from Amazon)

BIBTEX:

@book{fop03, 
editors = "Jeremy Gibbons and Oege de Moor",
title = "The Fun of Programming",
year = "2003", 
publisher = "Palgrave",
series = "Cornerstones in Computing"}