Papers

Monads for Functional Programming

homepages.inf.ed.ac.uk arxiv

Physics, Topology, Logic and Computation: A Rosetta Stone

arxiv.org berkeley

Architecture of a Database System (2007)

db.cs.berkeley.edu gutenberg

Calculus made easy

gutenberg.org mit

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

math.mit.edu warwick

What Is It Like to Be a Bat? (1974)

warwick.ac.uk virginia

Growing a Language (1998)

cs.virginia.edu toronto

Notation as a Tool of Thought (1979)

eecg.toronto.edu arxiv

Formal Algorithms for Transformers

arxiv.org arxiv

On proof and progress in mathematics

Purely Functional Data Structures (1996)

cs.cmu.edu columbia

Consider the Lobster (2004)

columbia.edu cmu

Common Lisp: A Gentle Introduction to Symbolic Computation (1990)

cs.cmu.edu harvard

A Mathematical Theory of Communication

people.math.harvard.edu nature

What's expected of us

Whole Brain Emulation: A Roadmap, N Bostrom and a Sandberg (2008)

fhi.ox.ac.uk wustl

Probability Theory: The Logic of Science

bayes.wustl.edu unm

Data Structures for Text Sequences

The Structure and Interpretation of the Computer Science Curriculum

ccs.neu.edu kent

Why Functional Programming Matters

cs.kent.ac.uk princeton

The Theory of Interstellar Trade (1978)

princeton.edu harvard

The Night Watch (2013)

scholar.harvard.edu mit

Mathematics for Computer Science

courses.csail.mit.edu uchicago

An Incremental Approach to Compiler Construction (2006)

scheme2006.cs.uchicago.edu