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