5 results
Automatic testing of Haskell programs
Core data structures and operations
Generic random generators for QuickCheck