A list that used to be available here (fortunately, the Internet Archive saves everything)

- 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