seanwestfall/haskell_book

Functional Programming -- Theoretical Foundations :

LeanPub: https://leanpub.com/functionalprogrammingtheoreticalfoundations

Tables of Contents:

0. Introduction
1. What is a Function
2. The Lambda Calculus
3. Category Theory
4. Type Checking and Unification
5. Kinds, Types, and Classes
6. Purity and the IO Monad

_. About the Author