Four Lectures on Standard ML (1989) [pdf]

Noweb – A Simple, Extensible Tool for Literate Programming

The BLISS programming language: a history (2002)

Four Lectures on Standard ML (1989) [pdf]

An Algorithm for Structuring Flowgraphs (1977) [pdf]

C-- (2008)

The Phenomenology of Error (1981)

Welcome to C-- (2008)

Noweb – A Simple, Extensible Tool for Literate Programming

Graphics in Overlapping Bitmap Layers (1983)

The Cirrus Banking Network (1985)

Learning Technical Writing Using the Engineering Method (2016)

A Literate Program (1986)

Design: The Key to Writing (and Advising) a One-Draft Thesis (2002)

Automatic Derivation of Code Generators from Machine Descriptions (1980)

Case Study: IBM's System/360-370 Architecture (1987)

The C-- Language Specification (2005)

QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs (2000)

Ranking Visualizations of Correlation Using Weber’s Law

Closures in Lua (2013)

Retrospective of the BLISS programming language [PDF]

Algorithms for Designing Pop-up Cards

Breadth-First Numbering: A Small Exercise in Algorithm Design (2000) [pdf]