Skip to content

Instantly share code, notes, and snippets.

@iquabius

iquabius/erik-meijer-books.md

Created July 27, 2017 13:48
Show Gist options
  • Save iquabius/d3d13fa50812b5cffeff243f89106d68 to your computer and use it in GitHub Desktop.
Save iquabius/d3d13fa50812b5cffeff243f89106d68 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