Skip to content

Instantly share code, notes, and snippets.

@nachocodexx

nachocodexx/erik-meijer-books.md

Created January 26, 2021 15:09
Show Gist options
  • Save nachocodexx/6b6b14d882e6266cefbf24e2630ba8ca to your computer and use it in GitHub Desktop.
Save nachocodexx/6b6b14d882e6266cefbf24e2630ba8ca to your computer and use it in GitHub Desktop.
Download ZIP
Erik Meijer’s List of Recommended Books
Raw
erik-meijer-books.md

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