Theorems for free!
Parallel Programming, List Homomorphisms and the Maximum Segment Sum Problem
Imperative functional programming
Monadic Parsing in Haskell
Testing monadic code with QuickCheck
Scrap your boilerplate: a practical design pattern for generic programming
Probabilistic functional programming in Haskell
Applicative programming with effects
Data types à la carte
Testing Polymorphic Properties
A Play on Regular Expressions
Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing
Yield: Mainstream Delimited Continuations
Folding domain-specific languages: deep and shallow embeddings
Capturing the future by replaying the past