JanuaryPersimmon2024 c-plus-plus-equals-c-plus-one

When the wind of change blows, some build walls, while others build windmills.

c-plus-plus-equals-c-plus-one / erik-meijer-books.md

Created May 16, 2026 10:30 — forked from 0xalpharush/erik-meijer-books.md

Erik Meijer’s List of Recommended Books

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
The Haskell School of Expression: Learning Functional Programming through Multimedia
LaTeX: A Document Preparation System (2nd Edition)
Denotational Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Programs and Machines
The Denotational Description of Programming Languages: An Introduction