- Programming Languages
- Introduction to Functional Programming with Occaml
- Functional Programming in Haskell
- Paradigms of Computer Programming – Fundamentals
- Reliable Distributed Algorithms, Part 1
- Structure and Interpretation of Computer Programs
- How to Design Programs 2nd edition (WIP)
- Programming and Programming Languages (2015)
- Haskell Programming from first principles
- Software Foundations
- Squeak by Example
- Pharo by Example
- Learn You Some Erlang for great good!
- The Little Schemer
- The Seasoned Schemer
- The Reasoned Schemer
- The Little Prover
- Rust Learning (Repo)
- Rust-101
- So you want to learn type theory...
- Types and Programming Languages
- Advanced Topics in Types and Programming Languages
- Modern Compiler Implementation in ML
- Optimizing Compilers for Modern Architectures
- The Garbage Collection Handbook
- The Implementation of Functional Programming Languages
- Introduction to Algorithms [MIT OCW]
- Design and Analysis of Algorithms [MIT OCW]
- Introduction to Algorithms (2005) [MIT OCW]
- The Algorithm Design Manual
Reminder to add this