author : Jeremy Gibbons

Contents

• Chris Okasaki.

Fun with binary heap trees

• Koen Claessen, John Hughes.

Specification-based testing with QuickCheck

• Jeremy Gibbons.

Origami programming

• Paul Hudak.

Describing and interpreting music in Haskell

• Ganesh Sittampalam, Oege de Moor.

Mechanising fusion

• Simon L. Peyton Jones, Jean-Marc Eber.

How to write a financial contract

• Conal Elliott.

Functional images

• Koen Claessen, Mary Sheeran, Satnam Singh.

Functional hardware description in Lava

• J. Michael Spivey, Silvija Seres.

Combinators for logic programming

• Ross Paterson.

Arrows and computation

• Philip Wadler.

A Prettier printer

• Ralf Hinze.

Fun with phantom types