If you find a broken link on this page let me know and I'll fix it.
An axiomatic basis for computer programmingC. A. R. HoareCommunicating Sequential Processes (CSP)C. A. R. HoareCall-by-name, call-by-value, and the lambda calculusGordon PlotkinTowards a theory of type structureJohn C. ReynoldsStructured Programming with go to StatementsDonald E. KnuthDefinitional interpreters for higher-order programming languagesJohn C. ReynoldsAn APL Machine 1970Philip S. AbramsHenry Baker's Archive of Research Papers (many classic Lisp papers)Henry BakerThe Anatomy of a Large-Scale Hypertextual Web Search EngineSergey Brin and Lawrence PageNo Silver Bullet: Essence and Accidents of Software EngineeringFrederic P. Brooks, Jr.A Mathematical Theory of CommunicationClaude ShannonCommunication Theory of Secrecy SystemsClaude ShannonBayesian Networks without TearsEugene CharniakA Universal Algorithm for Sequential Data CompressionJacob Ziv and Abraham LempelA Relational Model of Data for Large Shared Data Banks 1970Edgar F. CoddLet's Build a Compiler 1988-1995Jack CrenshawGauging Similarity via N-Grams: Language-Independent Sorting...Marc DamashekWorse Is BetterRichard P. GabrielHints on Programming Language DesignC.A.R. HoareWhy Functional Programming MattersJohn HughesOn the Expressive Power of Programming LanguagesMatthias FelleisenThe Design of APLKenneth E. IversonThe Early History Of SmalltalkAlan KayComputer Programming as an ArtDonald E. KnuthThe next 700 programming languagesPeter J. LandinRecursive Functions of Symbolic Expressions and their Computation by Machine (Part I) 1960John McCarthyFORTH - A Language for Interactive ComputingCharles H.Moore Teach Yourself Programming in Ten Years 2001Peter NorvigParenthetically Speaking, a collection of essays from the 1990sKent M. PitmanThe Definition and Implementation of a Computer Language based on constraintsGuy Lewis Steele Jr.Growing a LanguageGuy Lewis Steele Jr.Epigrams on ProgrammingAlan J. PerlisThe Complexity of Theorem Proving ProceduresStephen A. CookSteps Toward Artificial IntelligenceMarvin MinskyThe Original 'Lambda Papers'Guy Steele and Gerald SussmanA Method for Obtaining Digital Signatures and Public-Key CryptosystemsR.L. Rivest, A. Shamir, and L. AdlemanThe UNIX Time-Sharing SystemDennis Ritchie and Ken Thompson