計算機科學經典論文

Classic Texts in Computer Science

Babar K. Zafar

If you find a broken link on this page let me know and I'll fix it.

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