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