3 results
Automatic testing of Haskell programs
Core data structures and operations
Monad classes for transformers, using functional dependencies