Programming Theory

Writing Compilers and Interpreters: A Modern Software Engineering Approach PDF Download – Ronald Mak

Type-Driven Development with Idris PDF Download – Edwin Brady

Types and Programming Languages PDF Download – Benjamin C. Pierce

Thinking with Types: Type-Level Programming in Type-Driven Development PDF Download – Sandy Maguire

The Art of Computer Programming PDF Download – Donald E. Knuth

The Art of Computer Programming (Vol 1) PDF Download – Donald E. Knuth

Theoretical Foundations of Programming PDF Download – Unknown

Structure and Interpretation of Computer Programs PDF Download – Harold Abelson, Gerald Jay Sussman

Structured Programming PDF Download – Edsger W. Dijkstra

Strange Code: Esoteric Languages that Make Programming Fun Again PDF Download – Ron Kneusel