Testing Erlang data types with quviq quickcheck
Glasgow Haskell Compiler: The Early Days
Free theorems involving type constructor classes: functional pearl
The worker/wrapper transformation
Generic Programming with Fixed Points for Mutually Recursive Datatypes
A universe of binding and computation
Functional Programming Applications
Where does the monomorphism restriction come from in Haskell?
Stochastic Lambda Calculus and Monads of Probability Distributions
Data parallel Haskell: a status report
seL4: Formal Verification of an OS Kernel
Scribble: Closing the Book on Ad Hoc Documentation Tools
Shinichiro Hamaji on winning ICFP '09 Programming Contest
Finding Race Conditions in Erlang with QuickCheck and PULSE
Complete and decidable type inference for GADTs
Dependent Types for Distributed Arrays
The only implementation of Haskell with views
Data parallelism in a functional setting
Automatically RESTful web applications: marking modular serializable continuations
Using Functional Programming in a Commercial Setting: Erlang and Facebook
Glasgow Haskell Compiler: An Extension
Shriram Krishnamurthi on WeScheme
Haskell and Erlang: growing up together
Experience report: embedded, parallel computer-vision with a functional DSL
Biorthogonality, Step-Indexing and Compiler Correctness
Partial Memoization of Concurrency and Communication
Safe Functional Reactive Programming through Dependent Types
Guy Steele: foldl and foldr considered slightly harmful
Unifying objects and functions: treating functions as classes
Partial Memoization of Concurrency and Communication
Creating new operating systems for cloud computing using functional programming languages
