iquabius

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