Classic texts in computer science

Classic texts in computer science. Worth reading for the sheer insight.

Update: The link didn’t seem to work in Feb 2007. Here’s the list.

• An axiomatic basis for computer programming by C. A. R. Hoare
• Communicating Sequential Processes (CSP) by C. A. R. Hoare
• Call-by-name, call-by-value, and the lambda calculus by Gordon Plotkin
• Towards a theory of type structure by John C. Reynolds
• Definitional interpreters for higher-order programming languages by John C. Reynolds
• An APL Machine 1970 by Philip S. Abrams
• Henry Baker’s Archive of Research Papers (many classic Lisp papers)
• The Anatomy of a Large-Scale Hypertextual Web Search Engin by Sergey Brin and Lawrence Page
• No Silver Bullet: Essence and Accidents of Software Engineering by Frederic P. Brooks, Jr.
• A Mathematical Theory of Communication by Claude Shannon
• Communication Theory of Secrecy Systems by Claude Shannon
• Bayesian Networks without Tears by Eugene Charniak
• A Universal Algorithm for Sequential Data Compression by Jacob Ziv and Abraham Lempel
• A Relational Model of Data for Large Shared Data Banks 1970 by Edgar F. Codd
• Let’s Build a Compiler 1988-1995 by Jack Crenshaw
• Gauging Similarity via N-Grams: Language-Independent Sorting, Categorization, and Retrieval of Text by Marc Damashek
• Worse Is Better by Richard P. Gabriel
• Hints on Programming Language Design by C.A.R. Hoare
• Why Functional Programming Matters by John Hughes
• The Design of APL by Kenneth E. Iverson
• The Early History Of Smalltalk by Alan Kay
• Computer Programming as an Art by Donald E. Knuth
• The next 700 programming languages by Peter J. Landin
• Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960 by John McCarthy
• FORTH - A Language for Interactive Computing by Charles H.Moore
• Teach Yourself Programming in Ten Years 2001 by Peter Norvig
• Parenthetically Speaking, a collection of essays from the 1990s by Kent M. Pitman
• The Definition and Implementation of a Computer Language based on constraints by Guy Lewis Steele Jr.
• Growing a Language by Guy Lewis Steele Jr.
• Epigrams on Programming by Alan J. Perlis
• The Complexity of Theorem Proving Procedures by Stephen A. Cook
• Steps Toward Artificial Intelligence by Marvin Minsky
• The Original ‘Lambda Papers’ by Guy Steele and Gerald Sussman
• A Method for Obtaining Digital Signatures and Public-Key Cryptosystems by R.L. Rivest, A. Shamir, and L. Adleman
• The UNIX Time-Sharing System by Dennis Ritchie and Ken Thompson