Skip to content

Instantly share code, notes, and snippets.

@fhdhsni

fhdhsni/erik-meijer-books.md

Created January 7, 2019 19:43
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save fhdhsni/363f7ee71703d6f19d6b7dd10ee308fa to your computer and use it in GitHub Desktop.
Save fhdhsni/363f7ee71703d6f19d6b7dd10ee308fa 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