Skip to content

Instantly share code, notes, and snippets.

@0xalpharush
Forked from nachocodexx/erik-meijer-books.md
Created April 23, 2024 19:23
Show Gist options
  • Save 0xalpharush/11c64c094610078b5324275a65b09b2c to your computer and use it in GitHub Desktop.
Save 0xalpharush/11c64c094610078b5324275a65b09b2c to your computer and use it in GitHub Desktop.
Erik Meijer’s List of Recommended Books

Erik Meijer’s List of Recommended Books

  1. Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
  2. Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
  3. The Haskell School of Expression: Learning Functional Programming through Multimedia
  4. LaTeX: A Document Preparation System (2nd Edition)
  5. Denotational Semantics
  6. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
  7. Programs and Machines
  8. The Denotational Description of Programming Languages: An Introduction
  9. Erik Meijer’s Thesis – Calculating Compilers
  10. Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics)
  11. Erlang – Joe Armstrong
  12. The Algebra of Programming (Prentice-Hall International Series in Computer Science)
  13. Algorithmic Language and Program Development (Monographs in Computer Science)
  14. Algebraic Approaches to Program Semantics (Texts and Monographs in Computer Science)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment