Get personalized book recommendations based on your reading history and preferences. Our algorithm analyzes your favorite books and reading patterns to suggest your next great read.

"Type systems" as a book category covers the theory, design, implementation, and practical use of mechanisms that classify and constrain data and program behavior in computing. Books in this category range from foundational treatments—lambda calculus, type theory, formal semantics and proofs of soundness—to applied topics such as static vs. dynamic typing, type inference, polymorphism and generics, dependent and refinement types, gradual typing, and how types affect compiler optimizations and program correctness. They also explore connections to logic, category theory, and formal verification, and address real-world concerns like language design, tooling, and industrial adoption. Suitable for students, researchers, and software engineers, these books aim to explain how types improve safety, expressiveness, maintainability, and reasoning about programs.

Filter books by their publication year. Enter the earliest year (Start) and latest year (End) to find books published within that period. Leave either field empty to search from the beginning of time or up to the present day.