*
02 Mar 2023 β’ updated 25 Mar 2023 β’
3 minutes required β’
waynee95
*

# Reading List

This is just a personal list of papers, books and other materials on certain topics.

π = Book, π = Research Paper, π = Lecture Notes, π = Thesis

**Compilers**

- π Modern Compiler Design, 2nd ed by Grune et al.
- π Essentials of Compilation by Jeremy Siek (draft version)
- π Crafting a Compiler by Fisher, Cytron and LeBlanc
- π Engineering a Compiler by Cooper and Torczon

**Principles of Programming Languages**

- π Programming Language Concepts and Paradigms by David A. Watt
- π Programming Languages: Principles and Paradigms by Gabrielli and Martini
- π Concepts, Techniques, and Models of Computer Programming by Van Roy and Haridi
- π Programming Language Concepts, 2nd edition by Peter Sestoft

**Semantics of Programming Languages**

- π Programming Language Semantics by David A. Schmidt
- π Semantics with Applications - An Appetizer by Nielson and Nielson
- π Semantics of Programming Languages by Carl A. Gunter

**Programming Language Theory**

- π Types and Programming Languages by Benjamin C. Pierce
- π Practical Foundations of Programming Languages by Robert Harper
- π Design Concepts in Programming Languages by Turbak and Gifford

**Type Theory**

- π Type Systems by Luca Cardelli
- π Type Theory and Formal Proof by Nederpelt and Geuvers
- π Introduction to Homotopy Type Theory by Egbert Rijke
- π Categories for Types by Roy L. Crole

**Program Analysis**

- π Introduction to Static Analysis by Rival and Yi
- π Static Program Analysis by MΓΈller and Schwartzbach
- π Static Analysis and Verification of Aerospace Software by Abstract Interpretation by Bertrane et al.

**High Performance Computing**

- π Programming Models for Parallel Computing edited by P. Balaji
- π High-Performance Computing and Scientific Computing by van Engelen

**Formal Languages and Automata Theory**

- π Parsing Techniques - A Practical Guide by Grune and Jacobs
- π Derivatives of Regular Expressions by Brzozowski
- π Regular-expression derivatives reexamined by Owens et al.

**Mathematics**

- π Notes on Discrete Mathematics by James Aspnes
- π A Book of Abstract Algebra by Charles C. Pinter
- π Computability Theory: An Introduction to Recursion Theory by Enderton