Books
We read lots of books. Here are some books we like, roughly grouped into categories.
If you’re interested in these books, someone in the group will have a copy, and will probably be willing to lend it to you.
Not listed here are the books PLSE actually has in its various libraries. The main PLSE library is kept in CSE410, above Max & Martin’s desk, but James W also has a good library, and so do most of the professors.
We also highly recommend:
- Dune, by Frank Herbert. (amazon)
Programming Languages
Concepts
-
The Little Schemer, by Daniel P. Friedman and Matthias Felleisen. (amazon)
-
The Little Prover, by Daniel P. Friedman and Carl Eastlund. (amazon)
-
The Reasoned Schemer, by Daniel P. Friedman and William E. Byrd (amazon)
-
Concepts, Techniques and Models of Computer Programming, by Peter Van Roy and Seif Haridi (aka CTM). (amazon)
Types
-
Types and Programming Languages, by Benjamin C. Pierce (aka TAPL). (amazon)
-
Advanced Topics in Types and Programming Languages, edited by Benjamin C. Pierce (aka ATTAPL). (amazon)
-
Certified Programming with Dependent Types, by Adam Chlipala (aka CPDT). (amazon)
-
Homotopy Type Theory, by the Univalent Foundations Project. on Lulu
Compilers
-
Advanced Compiler Design and Implementation, by Steven Muchnick. (amazon)
-
Compiling with Continuations, by Andrew W. Appel. (amazon)
-
Program Logics for Certified Compilers, by Andrew W. Appel et al. (amazon)
Program Analysis
-
Static Program Analysis, by Anders Møller and Michael I. Schwartzbach. site
-
Pointer Analysis, by Yannis Smaragdakis and George Balatsouras. PDF
Logic Programming
- The Art of Prolog, by Leon Sterling and Ehud Shapiro. (amazon)
Software Engineering
- The Mythical Man-Month, by Frederick P. Brooks Jr. (amazon)
Distributed Systems
-
Introduction to Reliable and Secure Distributed Programming, by Christian Cachin, Rachid Guerraoui, Luís Rodrigues. (amazon)
-
Programming Distributed Computing Systems: A Foundational Approach by Carlos A. Varela. (amazon)
-
Replication: Theory and Practice, edited by Bernadette Charron-Bost, Fernando Pedone, and Andre Schiper (LNCS 5959). (amazon)
Mathematics
- Chapter Zero: Fundamental Notions of Abstract Mathematics, by Carol Schumacher. (amazon)