Books

• Making reliable distributed systems in the presence of software errors
• Programming Erlang (2nd edition)

• [[][SICP]] (obviously)

• Programming in Haskell 2rd Ed.

• Thinking Functionally with Haskell

• Programming in Scala, Fourth Edition

• Specifying Systems

• Abstraction and Specification in Program Development

• OCaml Programming: Correct + Efficient + Beautiful

• https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2015/readings/MIT6_042JS15_textbook.pdf

• Lecture Notes: https://see.stanford.edu/materials/aimlcs229/cs229-notes1.pdf

ML for the Working Programmer 2nd Edition

Purely Functional Data Structures

• Introduction to Functional Programming

• The Functional Approach to Programming

• [[][On Lisp]]

• [[][Paradigms Of Artificial Intelligence Programming]]

• [[][Basic Category Theory for Computer Scientists]]
• [[][Types and Programming Languages]]

• [[][Category Theory for Programmers]]

• [[][Domain-Driven Design]]

• [[][Domain Modeling Made Functional]]

• [[][Concepts of Modern Mathematics]]
• [[][The Foundation of Mathematics]]

• [[][Thinking Algebraically]]