Books

Short works

Books : reviews

Jeremy Gibbons, Oege de Moor, eds.
The Fun of Programming.
Palgrave. 2003

Contents

Chris Okasaki. Fun with binary heap trees. 2003
Koen Claessen, John Hughes. Specification-based testing with QuickCheck. 2003
Jeremy Gibbons. Origami programming. 2003
Paul Hudak. Describing and interpreting music in Haskell. 2003
Ganesh Sittampalam, Oege de Moor. Mechanising fusion. 2003
Simon L. Peyton Jones, Jean-Marc Eber. How to write a financial contract. 2003
Conal Elliott. Functional images. 2003
Koen Claessen, Mary Sheeran, Satnam Singh. Functional hardware description in Lava. 2003
J. Michael Spivey, Silvija Seres. Combinators for logic programming. 2003
Ross Paterson. Arrows and computation. 2003
Philip Wadler. A Prettier printer. 2003
Ralf Hinze. Fun with phantom types. 2003