4 results
Core data structures and operations
Monad classes for transformers, using functional dependencies
Haskell programming interface to Yices SMT solver
Process libraries