Submissions by dons

Type level numbers and arithmetic added to GHC Haskell

Faster persistent data structures through hashing : Galois Tech Talk

190,000 req/seq (micro benchmarks) ... Haskell webserver shootout continues

DSH: Haskell list comprehensions - relational queries over your database

Merging SMT solvers and programming languages

Announcing the Warp web server in Haskell (Benchmarks inside, 100k req/sec ping)

Painless NP-complete problems: an embedded DSL for SMT solving

Programming your Arduino micro-controller with the Copilot Haskell EDSL

Thread "Stack Chunks": performance improvements in GHC

Building a business with Haskell: Case Studies: Cryptol, HaLVM and Copilot

Visualizing Types: Hussling Haskell types into Hasse diagrams

Control.Monad.Inception

Galois releases the Haskell Lightweight Virtual Machine (HaLVM)

Clojure is now on the Computer Language Benchmarks Game