vijayanant

• Thompson. Type Theory & Functional Programming
• Nederpelt, Geuvers. Type Theory and Formal Proof
• Pierce. Types and Programming Languages
• Pierce. Advanced Topics in Types and Programming Languages
• Bar, Wells. Category Theory For Computing Science
• Pierce. Basic Category Theory for Computer Scientists
• Mac Lane. Categories for the Working Mathematician
• Blackburn. Handbook of Modal Logic
• Girard. Proofs and Types
• Harper. Practical Foundations for Programming Languages

vijayanant

A List of Foundational Haskell Papers

The Beginning: The Eugenio Moggi Papers

• Notions of Computations over Monads
• Computational Lambda Calculus and Monads
• Monads for functional programming

Haskell Semantics and Design Spaces

vijayanant

Haskell Resources

• Learning Haskell
• Learn You a Haskell for Great Good
  • Learn You A Haskell Exercises
• Real World Haskell
• FPComplete's School of Haskell
• Haskell Wikibook
• Write Yourself a Scheme in 48 Hours
• Parallel and Concurrent Programming in Haskell