cstjnodLaboratory notebook

Hobbies / The stacks / 19 papers & talks

Research

The papers, talks and theses I keep going back to, new and old. Every one is cited somewhere on this site, oldest first.

1950s

  1. 1959

    La théorie de la stigmergiePaper

    Grassé, P.-P. · Insectes Sociaux 6, 41–80

    Cited inTermites solved agent orchestration in 1959

1960s

  1. 1960

    Recursive Functions of Symbolic Expressions and Their Computation by MachinePaper

    McCarthy

    the founding paper of Lisp.

    Cited inLispGarbage Collection

  2. 1963

    Revised Report on the Algorithmic Language ALGOL 60Report

    Naur (ed.)

    the landmark report, precise enough to implement from.

    Cited inALGOLBNF

1970s

  1. 1973

    A Universal Modular ACTOR Formalism for Artificial IntelligencePaper

    Hewitt, Bishop & Steiger

    the paper that proposed actors.

    Cited inThe Actor Model

  2. 1977

    Can Programming Be Liberated from the von Neumann Style?Talk

    Backus · Turing lecture

    Backus turning against the style he helped create.

    Cited inALGOL

  3. 1978

    Nest construction in the mud wasp Paralastor spPaper

    Smith, A. P. · Animal Behaviour 26, 232–240

    Cited inTermites solved agent orchestration in 1959

  4. 1978

    Time, Structure and FluctuationsPaper

    Prigogine, I. · Science 201, 777–785

    Cited inTermites solved agent orchestration in 1959

  5. 1978

    The Development of the SIMULA LanguagesPaper

    Dahl & Nygaard

    the inventors on where objects came from.

    Cited inObjects and MessagesSimula

  6. 1978

    A Theory of Type Polymorphism in ProgrammingPaper

    Milner

    the type system and inference at ML's core.

    Cited inMLPattern Matching

1990s

  1. 1992

    The Birth of PrologPaper

    Colmerauer & Roussel

    the creators on the Marseille origins.

    Cited inProlog

  2. 1993

    The Early History of SmalltalkPaper

    Kay

    Kay on messaging, late binding, and what he really meant.

    Cited inObjects and MessagesSmalltalk

  3. 1993

    The Development of the C LanguagePaper

    Ritchie

    dmr's own account of the CPL → BCPL → B → C line.

    Cited inC

  4. 1996

    Purely Functional Data StructuresThesis

    Okasaki · PhD thesis

    the toolbox that made immutable structures practical.

    Cited inImmutability

  5. 1999

    A Brief History of StigmergyPaper

    Theraulaz, G. and Bonabeau, E. · Artificial Life 5(2), 97–116

    Cited inTermites solved agent orchestration in 1959

2000s

  1. 2001

    Ideal Hash TreesPaper

    Bagwell

    the HAMT behind Clojure's fast immutable maps and vectors.

    Cited inImmutability

  2. 2003

    Making Reliable Distributed Systems in the Presence of Software ErrorsThesis

    Armstrong · PhD thesis

    Erlang's design and philosophy, by its author.

    Cited inErlangFailure

2010s

  1. 2011

    Simple Made EasyTalk

    Hickey, R. · Strange Loop

    simple vs easy, and decomplecting.

    Cited inTermites solved agent orchestration in 1959ClojureState

  2. 2012

    The Value of ValuesTalk

    Hickey · talk

    the case for value-oriented programming.

    Cited inClojureState

2020s

  1. 2026

    Clojure: The DocumentaryDocumentary

    CultRepo

    Cited inTermites solved agent orchestration in 1959