Niner since 2009

Erik Meijer’s List of Books1. Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) (Paperback)2. Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science) (Hardcover)3. The Haskell School of Expression: Learning Functional Programming through Multimedia (Paperback)4. LaTeX: A Document Preparation System (2nd Edition) (Paperback)5. Denotational Semantics6. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Paperback)7. Programs and Machines8. The Denotational Description of Programming Languages: An Introduction (Paperback)9. Erik Meijer’s Thesis – Calculating Compilers10. Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (Paperback)11. Erlang – Joe Armstrong12. The Algebra of Programming (Prentice-Hall International Series in Computer Science) (Hardcover)13. Algorithmic Language and Program Development (Monographs in Computer Science) (Hardcover)14. Algebraic Approaches to Program Semantics (Texts and Monographs in Computer Science) (Hardcover)

Good video

## Comments

## C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 13 of 13

Erik Meijer’s List of Books

1. Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science) (Paperback)

2. Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science) (Hardcover)

3. The Haskell School of Expression: Learning Functional Programming through Multimedia (Paperback)

4. LaTeX: A Document Preparation System (2nd Edition) (Paperback)

5. Denotational Semantics

6. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory (Paperback)

7. Programs and Machines

8. The Denotational Description of Programming Languages: An Introduction (Paperback)

9. Erik Meijer’s Thesis – Calculating Compilers

10. Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (Paperback)

11. Erlang – Joe Armstrong

12. The Algebra of Programming (Prentice-Hall International Series in Computer Science) (Hardcover)

13. Algorithmic Language and Program Development (Monographs in Computer Science) (Hardcover)

14. Algebraic Approaches to Program Semantics (Texts and Monographs in Computer Science) (Hardcover)

## Hanselminutes on 9 - Inside CodePlex.com

Good video