- SICP
- The little schemer
- Mostly adequate guide to FP
- Lisp in Small Pieces
- ML for the Working Programmer
- Algorithms: A Functional Programming Approach
- Modern Compiler Implementation in ML
- Types and Programming Languages
- Concepts, Techniques, and Models of Computer Programming
- Denotational Semantics
- Category Theory for Programmers (unofficial pdf version) (video lectures)
- Bibliography of Scheme-related Research
- Parsec: Direct Style Monadic Parser Combinators For The Real World
- Prettier printer
- Monoids: Theme and Variations (Functional Pearl)
- Zippers — The Derivative of a Regular Type is its Type of One-Hole Contexts
- Datatype-Generic Programming
- Functional unparsing
- Data types a la carte
- Applicative programming with effects