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