Classic Resources

Classic Webpages

Mathematics

• Poincaré on intuition in mathematics - MacTutor History of Mathematics

Classic Books

Algebraic Logic

• A Formalization of Set Theory without Variables (borrow @ 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 @ archive.org)

Forth

• Forth: A Language for Interactive Computing (online @ www.ultratechnology.com)

Lambda Calculus

• The Calculi of Lambda-Conversion (online @ archive.org, archive.org) (borrow with print disabilities @ archive.org)

Lisp

• Lisp 1.5 Programmer's Manual (online @ archive.org) (borrow @ 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 (Pascal, 1989), archive.org (C, 1992)) (borrow with print disabilities @ 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

• A typology of organisational cultures

Attribute Grammars

• Semantics of Context-Free Languages (online @ www.khoury.northeastern.edu)

Formal Language

• The Hardest Context-Free Language

Genetic Programming

• A Representation for the Adaptive Generation of Simple Sequential Programs

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)

• The Temporal Logic of Actions

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)

Classic Repositories

Forth

• monsonite/1968-FORTH: Original Forth for 1BM 1130 written by Charles Moore in 1968.
• ForthHub/F83: F83 Forth by Laxen & Perry