/haskell-resources

A List of Foundational Haskell Papers

A List of Foundational Haskell Papers

The Beginning: The Eugenio Moggi Papers

Haskell Semantics and Design Spaces

Type Systems

Misc Parametricity

Misc TypeChecking + PLT

Functional pearls

Algebra of programming