home
>
book reviews
> Jeremy Gibbons
Google >
Jeremy Gibbons
author : Jeremy Gibbons
Books
The Fun of Programming
. 2003,
with
Oege de Moor
Short works
Program optimisation, naturally. 2000.
(In
Millennial Perspectives in Computer Science
)
Origami programming. 2003.
(In
The Fun of Programming
)
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