Table of Contents
1.
Engineering a Compiler (3rd Edition)
❱
1.1.
Overview of Compilation
1.2.
Scanners
2.
Category Theory for Programmers
❱
2.1.
Category: The Essence of Composition
2.2.
Types and Functions
3.
The Calculus of Computation
❱
3.1.
Propositional Logic
4.
Geometric Data Structures for Computer Graphics
❱
4.1.
Quadtrees and Octrees
5.
Patterns for Parallel Programming
❱
5.1.
A Pattern Language for Parallel Programming
5.2.
Background and Jargon of Parallel Computing
5.3.
The Finding Concurrency Design Space
6.
Structured Parallel Programming
❱
6.1.
Introduction
Light
Rust
Coal
Navy
Ayu
Reading Notes
The Calculus of Computation
This book contains my notes on
The Calculus of Computation
by
Aaron R. Bradley
and
Zohar Manna
.