Skip to content

Instantly share code, notes, and snippets.

@nivrith

nivrith/erik-meijer-books.md

Created September 27, 2019 01:38
Show Gist options
  • Save nivrith/b19531bddd038ad218409f6e8976260a to your computer and use it in GitHub Desktop.
Save nivrith/b19531bddd038ad218409f6e8976260a 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