Part 1: Strongly Typed Functional Programming
- Chapter 1 Functional Programming in F#
- Chapter 2 Algebraic Data Types
- Chapter 3 Data Structures in F#
Part 2: Functional Mathematics
- Chapter 4 Strongly Typed Math
- Chapter 5 Working with Sets
- Chapter 6 Functions as Data
Part 3: Interpreting Math and Code
- Chapter 7 Algebra and Symbolic Computation
- Chapter 8 Boolean Algebra
- Chapter 9 Rings
- Chapter 10 Simply Typed Lambda Calculus
Part 4: Introducing Categories
- Chapter 11 Concrete Categories
- Chapter 12 Algebraic Data Types in Categories
- Chapter 13 Cartesian Closed Categories