Why ML/OCaml are good for writing compilers (1998)

Unreliable Failure Detectors for Reliable Distributed Systems (1996)

Timestamps in Message-Passing Systems That Preserve Partial Ordering (1988)

Dissent: Accountable anonymous group communication

Notes on Theory of Distributed Systems

The Haskell School of Music

Failure Detectors

The Haskell School of Music – From Signals to Symphonies

Genuinely Functional User Interfaces (2011) [pdf]

Dissent – Accountable anonymous group communication

Epigrams in programming (1982)

The Emperor’s Old Clothes: Tony Hoare's Turing Award Speech (1980) [pdf]