The Fun of Programming (Paperback)

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.