Classic Resources
Classic Webpages
Mathematics
Classic Books
Algebraic Logic
- A Formalization of Set Theory without Variables (borrow @ archive.org)
Comics
- Little Nemo (online @ archive.org)
- Krazy Kat: The Comic Art of George Herriman (borrow @ archive.org)
- Peanuts Treasury (borrow @ archive.org)
- The Complete Calvin & Hobbes (online @ archive.org)
Compiler Construction
- Compilers: Principles, Techniques, and Tools (1st Ed.) (online @ archive.org) (borrow with print disabilities @ archive.org)
Computational Complexity
- Computers and Tractability (borrow with print disabilities @ archive.org)
Forth
- Forth: A Language for Interactive Computing (online @ www.ultratechnology.com)
Labyrinths
- Mazes and Labyrinths (online @ archive.org)
Lambda Calculus
- The Calculi of Lambda-Conversion (online @ archive.org, archive.org) (borrow with print disabilities @ archive.org)
- Introduction to Combinators and the Lambda Calculus (borrow @ archive.org)
Lisp
- Lisp 1.5 Programmer's Manual (online @ archive.org, archive.org (DTIC version)) (borrow with print disabilities @ archive.org)
- The Little Lisper (online @ archive.org)
Logic
- Mathematical Logic (Kleene) (borrow @ archive.org)
- Mathematical Logic (Quine) (online @ archive.org)
Numerical Analysis
- Numerical Recipes (online @ archive.org (C)) (borrow @ archive.org (C, 1992)) (borrow with print disabilities @ archive.org (Pascal, 1989), archive.org (FORTRAN, 1986))
Prolog
- Programming in PROLOG (borrow @ archive.org)
Retrocomputing
- How to Build a Working Digital Computer (online @ archive.org)
Software Engineering
- Advanced Programming in the Unix Environment (borrow @ archive.org) (borrow with print disabilities @ archive.org, archive.org)
Theory of Computation
- Computation: Finite and Infinite Machines (borrow @ archive.org)
Classic Papers
Agile Development
Artificial Intelligence
- Attention Is All You Need (online @ arxiv.org)
- Chain-of-Thought Prompting Elicits Reasoning in Large Language Models (online @ arxiv.org)
Attribute Grammars
- Semantics of Context-Free Languages (online @ www.khoury.northeastern.edu)
Formal Language
Genetic Programming
Logic Programming
- The Semantics of Predicate Logic as a Programming Language (online @ doc.ic.ac.uk)
PLDI
- Fundamental Concepts in Programming Languages (online @ ics.uci.edu)
- Definitional interpreters for higher-order programming languages (online @ homepages.inf.ed.ac.uk)
Partial Evaluation
- Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler
- A partial evaluator for the untyped lambda-calculus
Refinement Calculus
- Can Programming Be Liberated from the von Neumann Style? (online @ dl.acm.org)
- The specification statement (online @ dl.acm.org)
Software Engineering
- Programming as Theory Building (online @ pages.cs.wisc.edu)
TLA(plus)
Topology
- The Lattice of Topologies: Structure and Complementation (online @ www.ams.org)
Type Systems
- A Theory of Type Polymorphism in Programming (online @ homepages.inf.ed.ac.uk)
- Abstract Types have Existential Type (online @ homepages.inf.ed.ac.uk)