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