Chris Okasaki:
1. Fun with Binary Heap Trees
Koen Claessen & John Hughes:
2. Specification-Based Testing with QuickCheck
Paul Hudak
3. Describing and interpreting music in Haskell
Ganesh Sittampalam & Oege de Moor:
4. Mechanising Fusion
Simon Peyton Jones & Jean-Marc Eber:
5. How to Write a Financial Contract
Conal Elliott:
6. Functional Images
Koen Claessen, Mayr Sheeran & Satnam Singh:
7. Functional Hardware Description in Lava
Mike Spivey & Silvija Seres :
8. Combinators for Logic Programming
Ross Paterson:
9. Arrows and Computation
Philip Wadler
10. A Prettier Printer
Ralf Hinze:
11. Fun with Phantom Types
Lambert Meertens:
12. Calculemus Igitur
· · · · · · (
收起)