- Thompson. Type Theory & Functional Programming
- Nederpelt, Geuvers. Type Theory and Formal Proof
- Pierce. Types and Programming Languages
- Pierce. Advanced Topics in Types and Programming Languages
- Bar, Wells. Category Theory For Computing Science
- Pierce. Basic Category Theory for Computer Scientists
- Mac Lane. Categories for the Working Mathematician
- Blackburn. Handbook of Modal Logic
- Girard. Proofs and Types
- Harper. Practical Foundations for Programming Languages
- Harper. Type Systems for Programming Languages
- Lambek, Scott. Introduction to Higher Order Categorical Logic
- Mitchell. Foundations for Programming Languages
- Nielson. Semantics with Applications
- Nordstrom. Programming in Martin-Löf's Type Theory
- Voevodsky et al. Homotopy Type Theory
- Norell. Towards a practical programming language based on dependent type theory
- Armstrong. Making reliable distributed systems in the presence of software errors
- Jacobs. Introduction to Coalgebra
- Norell, Chapman. Dependently Typed Programming in Agda
- Bertot, Casteran. Interactive Theorem Proving and Program Development
- Pierce et al. Logical Foundations
- Pierce et al. Programming Language Foundations
- Appel. Verified Functional Algorithms
- The F* Team. Verified programming in F*
- Xi. Introduction to Programming in ATS
- Xi. A Tutorial on Programming Features in ATS
- Lamport. Specifying Systems
- Bird. Pearls of Functional Algorithm Design
- Okasaki. Purely Functional Data Structures
- Functional pearls
- Data structures
- Domain specific languages
- Vandevoorde, Josuttis, Gregor. C++ Templates
- Alexandrescu. Modern C++ Design
- Abrahams, Gurtovoy. Template metaprogramming
- Karlsson. Beyond the C++ Standard Library
- Stroustrup. The C++ Programming Language
- Williams. C++ Concurrency in Action
- Salomon. Assemblers and Loaders
- Levine. Linkers & Loaders
- Hennessy, Patterson. Computer Architecture
- Sikorski, Honig. Practical Malware Analysis
- Gazet et al. Practical Reverse Engineering
- Ligh et al. The Art of Memory Forensics
- Kurose, Ross. Computer Networking
- Hopcroft, Motwani, Ullman. Introduction to Automata Theory, Languages, and Computation
- Cormen et al. Introduction to Algorithms
- Chen. Computational Geometry
- Berg et al. Computational Geometry
- Crochemore. Jewels of Stringology
- Ahuja, Magnanti, Orlin. Network Flows
- Kroening, Strichman. Decision Procedures
- Appel. Modern Compiler Implementation in ML
- Muchnick. Advanced Compiler Design and Implementation
- Peyton Jones, Lester. Implementing functional languages
- LaValle. Planning Algorithms
- Herlihy, Shavit. The Art of Multiprocessor Programming
- Kandel et al. Principles of Neural Science
- Carroll, Ostlie. An Introduction to Modern Astrophysics
- Брагилевский. Соответствие Карри–Ховарда: от матлогики к программированию
- Мехмат ЮФУ. Теория категорий
- Milewski. Category Theory
- Milewski. Category Theory II
- Milewski. Category Theory for Programmers