Classics
The golden classics
- Djiekstra, Hoare - Structured Programming
- M. A. Jackson - Principles of Program Design
- Niklaus Wirth - Algorithms + Data Structures = Programs
- Barbara Liskov, John V. Guttag - /Abstraction and Specification in
Program Development/
- Frederick P. Brooks - The Mythical Man-Month (R.I.P.)
- Bird & Wadler - Introduction To Functional Programming
- Lawrence C. Paulson - ML For Working Programmer
- Peyton Jones - Implementation of Functional Languages
- SICP
- Joe Armstrong - thesis
- Joe Armstrong - Programming Erlang
- Paul Graham - On LISP
- Peter Norvig - PAIP
- John Hugges - Why Functional Programming Matters
- Paul Hudak - A Gentle Introduction To Haskell, version 98
Modern classics
- Richard Bird - Thinking Functionally with Haskell
- Martin Odersky - Programming in Scala 3
- Bartosz Milewski - Category Theory for Programmers.
- Michael R. Clarkson - Ocaml Programming: Correct, Efficient, Beautiful.
- Benjamin C. Pierce - Software Foundations
Very good books
- HTDP
- ’Cousineau G. - The Functional Approach to Programming
- Graham Hutton - Programming in Haskell
- Sandy Maguire - Thinking with Types
Good books
- John V. Guttag - Introduction to Computation and Programming Using Python
- Anton V. Spraul - Think Like a Programmer
Math books
- G. Polya - How To Solve It
- Timothy S. Urdan - Statistics in Plain English
- Ian Stewart - Concepts of Modern Mathematics