alpharush 0xalpharush

## erik-meijer-books.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                0xalpharush
                / erik-meijer-books.md
            
            
              Created
              April 23, 2024 19:23
                — forked from nachocodexx/erik-meijer-books.md
            
              
                Erik Meijer’s List of Recommended Books
              
          
    Erik Meijer’s List of Recommended Books


Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)
Mathematical Theory of Programme Correctness (Prentice-Hall International series in computer science)
The Haskell School of Expression: Learning Functional Programming through Multimedia
LaTeX: A Document Preparation System (2nd Edition)
Denotational Semantics
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Programs and Machines
The Denotational Description of Programming Languages: An Introduction