A Practical Theory of Programming (free)

You can download the book right here. It is 250 pages.


  1. Introduction
  2. Basic Theories
  3. Basic Data Structures
  4. Function Theory
  5. Program Theory
  6. Programming Language
  7. Recursive Definition
  8. Theory Design and Implementation
  9. Concurrency
  10. Interaction
  11. Exercises
  12. Reference

Read in full here:


This thread was posted by one of our members via one of our news source trackers.

Corresponding tweet for this thread:

Share link for this tweet.