Systematic concurrency testing meets Haskell.
Modern and extensible testing framework for Haskell
Readings on computational logic, interactive theorem proving and functional programming.
Koka language compiler and interpreter
A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...
Functional Reactive Programming domain-specific language for efficient hybrid systems
Software Design in Haskell. A structured set of materials. How to build real-world applications i...