3 results
Automatic testing of Haskell programs
Core data structures and operations
Generic vectors with statically known size.