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